summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript8
1 files changed, 4 insertions, 4 deletions
diff --git a/wscript b/wscript
index fd52e29..5d12e43 100644
--- a/wscript
+++ b/wscript
@@ -27,6 +27,8 @@ def options(opt):
help='Do not build command line utilities')
opt.add_option('--test', action='store_true', dest='build_tests',
help='Build unit tests')
+ opt.add_option('--no-coverage', action='store_true', dest='no_coverage',
+ help='Do not use gcov for code coverage')
opt.add_option('--static', action='store_true', dest='static',
help='Build static library')
opt.add_option('--no-shared', action='store_true', dest='no_shared',
@@ -56,10 +58,8 @@ def configure(conf):
conf.env.BUILD_STATIC = (Options.options.static or
Options.options.static_progs)
- if conf.env.BUILD_TESTS:
- conf.check(lib = 'gcov',
- define_name = 'HAVE_GCOV',
- mandatory = False)
+ if conf.env.BUILD_TESTS and not Options.options.no_coverage:
+ conf.check_cc(lib='gcov', define_name='HAVE_GCOV', mandatory=False)
autowaf.check_pkg(conf, 'serd-0', uselib_store='SERD',
atleast_version='0.18.0', mandatory=True)