diff options
| -rw-r--r-- | source3/wscript | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source3/wscript b/source3/wscript index 7fe142d1ec..8f6ad598d0 100644 --- a/source3/wscript +++ b/source3/wscript @@ -874,6 +874,10 @@ int i; i = PAM_RADIO_TYPE; conf.DEFINE('WITH_DNS_UPDATES', 1) else: conf.SET_TARGET_TYPE('uuid', 'EMPTY') + conf.CHECK_HEADERS('valgrind.h valgrind/valgrind.h valgrind/memcheck.h') + if Options.options.developer: + if conf.CONFIG_SET('HAVE_VALGRIND_H') or conf.CONFIG_SET('HAVE_VALGRIND_VALGRIND_H'): + conf.DEFINE('VALGRIND', '1') conf.SAMBA_CONFIG_H('include/config.h') |