diff options
Diffstat (limited to 'source3/wscript')
-rw-r--r-- | source3/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source3/wscript b/source3/wscript index 633a3655b21..aed784ef017 100644 --- a/source3/wscript +++ b/source3/wscript @@ -1034,7 +1034,7 @@ syscall(SYS_setgroups32, 0, NULL); Logs.warn("--with-dnsupdate=yes but gssapi support not sufficient") else: conf.DEFINE('WITH_DNS_UPDATES', 1) - conf.CHECK_HEADERS('valgrind.h valgrind/valgrind.h valgrind/memcheck.h') + # valgrind.h or valgrind/valgrind.h is checked in lib/replace/wscript if Options.options.developer: if conf.CONFIG_SET('HAVE_VALGRIND_H') or conf.CONFIG_SET('HAVE_VALGRIND_VALGRIND_H'): conf.DEFINE('VALGRIND', '1') |