diff options
Diffstat (limited to 'src/wscript')
| -rw-r--r-- | src/wscript | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/wscript b/src/wscript index 2359981b..ae881a8b 100644 --- a/src/wscript +++ b/src/wscript @@ -200,7 +200,10 @@ def build(bld): # Library for gcov if bld.is_defined('HAVE_GCOV'): - obj = bld(features='cxx cxxshlib') + if bld.env.STATIC: + obj = bld(features='cxx cxxstlib') + else: + obj = bld(features='cxx cxxshlib') obj.name = 'libdcp%s_gcov' % bld.env.API_VERSION obj.target = 'dcp%s_gcov' % bld.env.API_VERSION obj.export_includes = ['.'] |