diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-05-11 22:13:28 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-05-11 22:13:28 +0200 |
commit | b415168a9862023462b7193e83da948cb8d11893 (patch) | |
tree | 704bd09ed0b69b7a30b711c5431ff69eaad1a7f5 /src/Makefile | |
parent | 91689ea8ae01acb3daf8ba0ee91acd729af7c84c (diff) | |
download | vim-git-b415168a9862023462b7193e83da948cb8d11893.tar.gz |
patch 8.2.0739: incomplete profiling when exiting because of a dealy signalv8.2.0739
Problem: Incomplete profiling when exiting because of a dealy signal.
Solution: Call __gcov_flush() if available.
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 6c7ef85a9..7c2934aea 100644 --- a/src/Makefile +++ b/src/Makefile @@ -686,8 +686,10 @@ LINT_OPTIONS = -beprxzF # 7. Open the objects/index.html file in a web browser to view the coverage # information. # -# PROFILE_CFLAGS=-g -O0 -fprofile-arcs -ftest-coverage # LDFLAGS=--coverage +# PROFILE_CFLAGS=-g -O0 -fprofile-arcs -ftest-coverage -DWE_ARE_PROFILING -DUSE_GCOV_FLUSH +# Alternate flags +# PROFILE_CFLAGS=-g -O0 --coverage -DWE_ARE_PROFILING -DUSE_GCOV_FLUSH # Uncomment one of the next two lines to compile Vim with the |