diff options
Diffstat (limited to 'ext.wscript')
| -rw-r--r-- | ext.wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext.wscript b/ext.wscript index efc4035..d7b7353 100644 --- a/ext.wscript +++ b/ext.wscript @@ -106,7 +106,7 @@ def configure(conf): 'os.path.relpath missing, get Python 2.6 or use --copy-headers') # Check for gcov library (for test coverage) - if conf.env['BUILD_TESTS']: + if conf.env['BUILD_TESTS'] and not conf.is_defined('HAVE_GCOV'): conf.check_cc(lib='gcov', define_name='HAVE_GCOV', mandatory=False) autowaf.configure(conf) |