summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2018-09-05 10:23:04 +0100
committerCarl Hetherington <cth@carlh.net>2019-12-03 17:01:32 +0100
commita7e1d778842dd4a5dc79fdbcf57eff175f50dafe (patch)
treece59fd931f11ab01ee10b35efd0f3ffa2accf7cd /wscript
parent3aaea6c449602d329aafbf27312d80078f7be44c (diff)
Quell some valgrind errors.
Diffstat (limited to 'wscript')
-rw-r--r--wscript2
1 files changed, 2 insertions, 0 deletions
diff --git a/wscript b/wscript
index d836e86..92282c5 100644
--- a/wscript
+++ b/wscript
@@ -64,6 +64,8 @@ def configure(conf):
lib=['boost_filesystem%s' % boost_lib_suffix, 'boost_system%s' % boost_lib_suffix],
uselib_store='BOOST_FILESYSTEM')
+ conf.check(header_name='valgrind/memcheck.h', mandatory=False)
+
conf.recurse('src')
def build(bld):