diff options
author | Bram Moolenaar <Bram@vim.org> | 2018-02-27 17:27:13 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2018-02-27 17:27:13 +0100 |
commit | 792f0e36593d1ec13ccb8a622ca5542c500577b4 (patch) | |
tree | 34a6e9340f01bc14adda8f1f286ab56788b06de0 /src/Makefile | |
parent | 5d7ead3bc85eefd0929bfcbb579510c8164ea1be (diff) | |
download | vim-git-792f0e36593d1ec13ccb8a622ca5542c500577b4.tar.gz |
patch 8.0.1550: various small problems in source filesv8.0.1550
Problem: Various small problems in source files.
Solution: Fix the problems.
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 5a134a6f4..1b13aa94c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -651,12 +651,16 @@ LINT_OPTIONS = -beprxzF # PROFILING - Uncomment the next two lines to do profiling with gcc and gprof. # Might not work with GUI or Perl. -# For unknown reasons adding "-lc" fixes a linking problem with some versions -# of GCC. That's probably a bug in the "-pg" implementation. # After running Vim see the profile result with: gprof vim gmon.out | vim - # Need to recompile everything after changing this: "make clean" "make". #PROFILE_CFLAGS = -pg -g -DWE_ARE_PROFILING #PROFILE_LIBS = -pg + +# GCC 5 and later need the -no-pie argument. +#PROFILE_LIBS = -pg -no-pie + +# For unknown reasons adding "-lc" fixes a linking problem with some versions +# of GCC. That's probably a bug in the "-pg" implementation. #PROFILE_LIBS = -pg -lc |