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>
This commit is contained in:
parent
4020c5a7b3
commit
8684bc8959
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user