| commit | b415168a9862023462b7193e83da948cb8d11893 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Mon May 11 22:13:28 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon May 11 22:13:28 2020 +0200 |
| tree | 704bd09ed0b69b7a30b711c5431ff69eaad1a7f5 | |
| parent | 91689ea8ae01acb3daf8ba0ee91acd729af7c84c [diff] [blame] |
patch 8.2.0739: incomplete profiling when exiting because of a dealy signal Problem: Incomplete profiling when exiting because of a dealy signal. Solution: Call __gcov_flush() if available.
diff --git a/src/version.c b/src/version.c index 317b344..799e846 100644 --- a/src/version.c +++ b/src/version.c
@@ -747,6 +747,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 739, +/**/ 738, /**/ 737,