aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript3
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',