diff options
| author | Stefan Metzmacher <metze@samba.org> | 2018-06-21 12:46:06 +0200 |
|---|---|---|
| committer | Ralph Boehme <slow@samba.org> | 2018-07-24 17:38:26 +0200 |
| commit | 30c97da7a7ff96777f6fdfc13a791b6893cf8c48 (patch) | |
| tree | 1c164d41ed85658a89bd35a40d1526eb00880ad0 /source3/wscript | |
| parent | 9656b8d8ee11ee351870286f16ea8fbe49112292 (diff) | |
| download | samba-30c97da7a7ff96777f6fdfc13a791b6893cf8c48.tar.gz | |
s3:wscript: don't check for valgrind related headers twice
We already check them in lib/replace/wscript.
Signed-off-by: Stefan Metzmacher <metze@samba.org>
Reviewed-by: Ralph Boehme <slow@samba.org>
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') |