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.
2020-05-11 22:13:28 +02:00
parent 91689ea8ae
commit b415168a98
4 changed files with 17 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    739,
 /**/
    738,
 /**/