1 files changed, 2 insertions, 1 deletions
diff --git a/wscript b/wscript
index adc06b96..0e0c930c 100644
--- a/wscript
+++ b/wscript
@@ -62,7 +62,8 @@ def configure(conf):
     # Check for gcov library (for test coverage)
     if conf.env['BUILD_TESTS']:
         conf.check_cc(lib='gcov',
-                      define_name='HAVE_GCOV')
+                      define_name='HAVE_GCOV',
+                      mandatory=False)
 
     # Check for posix_memalign
     conf.check(function_name='posix_memalign',