projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4020c5a) | patch
php: disable valgrind
authorAdam Duskett <aduskett@gmail.com>
Mon, 12 Feb 2018 17:01:12 +0000 (12:01 -0500)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 13 Feb 2018 21:38:18 +0000 (22:38 +0100)
commit8684bc8959a6a2d35959b4e2e9ecca23f5914992
tree83eb5c66bac340949325613742c886ab2ef643d1tree
parent4020c5a7b330613f7bccbc91a466c129bf8e40c5commit | diff
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>
package/php/php.mk diff | blob | history