1 files changed, 6 insertions, 0 deletions

diff --git a/src/include/gcov_wrapper.h b/src/include/gcov_wrapper.h
index 2f409309d..4aafb8e18 100644
--- a/src/include/gcov_wrapper.h
+++ b/src/include/gcov_wrapper.h
@@ -21,6 +21,7 @@
 #ifndef GCOV_WRAPPER_H
 #define GCOV_WRAPPER_H
 
+#ifdef HAS_GCOV
 #include <gcov.h>
 
 /*
@@ -36,5 +37,10 @@ static void __gcov_flush(void) {
        __gcov_reset();
 }
 #endif
+#else
+#define __gcov_dump() ((void)0)
+#define __gcov_reset() ((void)0)
+#define __gcov_flush() ((void)0)
+#endif /* HAS_GCOV */
 
 #endif /* GCOV_WRAPPER_H */