diff options
author | Adam Duskett <aduskett@gmail.com> | 2018-02-12 12:01:12 -0500 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2018-02-13 22:38:18 +0100 |
commit | 8684bc8959a6a2d35959b4e2e9ecca23f5914992 (patch) | |
tree | 83eb5c66bac340949325613742c886ab2ef643d1 /package/php/php.mk | |
parent | 4020c5a7b330613f7bccbc91a466c129bf8e40c5 (diff) | |
download | buildroot-8684bc8959a6a2d35959b4e2e9ecca23f5914992.tar.gz buildroot-8684bc8959a6a2d35959b4e2e9ecca23f5914992.zip |
php: disable valgrind
Introduced in PHP7.2, if a host has valgrind headers installed, PHP will detect
them and set HAVE_VALGRIND to 1.
Disable this entry after configuring.
fixes:
http://autobuild.buildroot.net/results/d59/d59b5961890aeddcd6d59ed52243be6554d1fe21
Signed-off-by: Adam Duskett <aduskett@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'package/php/php.mk')
-rw-r--r-- | package/php/php.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/package/php/php.mk b/package/php/php.mk index a4481c45c7..e6bc1e47e1 100644 --- a/package/php/php.mk +++ b/package/php/php.mk @@ -232,6 +232,11 @@ define PHP_DISABLE_PCRE_JIT $(SED) '/^#define SUPPORT_JIT/d' $(@D)/ext/pcre/pcrelib/config.h endef +define PHP_DISABLE_VALGRIND + $(SED) '/^#define HAVE_VALGRIND/d' $(@D)/main/php_config.h +endef +PHP_POST_CONFIGURE_HOOKS += PHP_DISABLE_VALGRIND + ### Use external PCRE if it's available ifeq ($(BR2_PACKAGE_PCRE),y) PHP_CONF_OPTS += --with-pcre-regex=$(STAGING_DIR)/usr |