diff options
Diffstat (limited to 'src/mongo/util/quick_exit.cpp')
-rw-r--r-- | src/mongo/util/quick_exit.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/mongo/util/quick_exit.cpp b/src/mongo/util/quick_exit.cpp index fbf6f7a2093..0f90570e344 100644 --- a/src/mongo/util/quick_exit.cpp +++ b/src/mongo/util/quick_exit.cpp @@ -26,9 +26,11 @@ * it in the license file. */ +#include "mongo/config.h" + #include "mongo/platform/basic.h" -#if defined(MONGO_HAVE_HEADER_UNISTD_H) +#if defined(MONGO_CONFIG_HAVE_HEADER_UNISTD_H) #include <unistd.h> #endif @@ -43,9 +45,16 @@ #include <sanitizer/lsan_interface.h> #endif +#ifdef MONGO_GCOV +extern "C" void __gcov_flush(); +#endif + namespace mongo { void quickExit(int code) { +#ifdef MONGO_GCOV + __gcov_flush(); +#endif #if __has_feature(address_sanitizer) __lsan_do_leak_check(); |