diff options
Diffstat (limited to 'src/firejail/profile.c')
-rw-r--r-- | src/firejail/profile.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/firejail/profile.c b/src/firejail/profile.c index 63678514f..da3daf95a 100644 --- a/src/firejail/profile.c +++ b/src/firejail/profile.c | |||
@@ -1053,6 +1053,9 @@ void profile_read(const char *fname) { | |||
1053 | // else { | 1053 | // else { |
1054 | // free(ptr); | 1054 | // free(ptr); |
1055 | // } | 1055 | // } |
1056 | #ifdef HAVE_GCOV | ||
1057 | __gcov_flush(); | ||
1058 | #endif | ||
1056 | } | 1059 | } |
1057 | fclose(fp); | 1060 | fclose(fp); |
1058 | } | 1061 | } |