diff options
| author | Günther Deschner <gd@samba.org> | 2010-12-07 14:59:53 +0100 |
|---|---|---|
| committer | Günther Deschner <gd@samba.org> | 2010-12-07 16:06:17 +0100 |
| commit | c5b2fd05afcf3e4e3e733ed917539add9c12e0b8 (patch) | |
| tree | bf70cc2b3e5595fc33ee15ecf8ab05f29f3ab49b | |
| parent | 055a3e0fae1c59567057239d5d6e3f20cf962c33 (diff) | |
| download | samba-c5b2fd05afcf3e4e3e733ed917539add9c12e0b8.tar.gz samba-c5b2fd05afcf3e4e3e733ed917539add9c12e0b8.tar.bz2 samba-c5b2fd05afcf3e4e3e733ed917539add9c12e0b8.zip | |
s3-waf: add valgrind configure checks.
Guenther
| -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') |