summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript1
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript b/wscript
index 936e325e7..d6637f3f8 100644
--- a/wscript
+++ b/wscript
@@ -564,6 +564,7 @@ def configure(conf):
# Other stuff
conf.find_program('msgfmt', var='MSGFMT')
+ conf.check(header_name='valgrind/memcheck.h', mandatory=False)
datadir = conf.env.DATADIR
if not datadir: