Michael Heimpold 97305e41b6 php7: disable valgrind support ...

The check to enable/disable this new feature of PHP 7.2 works
incorrectly when cross-compiling because it detects the host headers
only and there is no way to pass in a dedicated directory.

The wish to change this was reported upstream at:
https://bugs.php.net/bug.php?id=75722

For the meantime, use a self-cooked patch.

Signed-off-by: Michael Heimpold <mhei@heimpold.de>

2017-12-28 22:00:07 +01:00

..

files

php7: restructure patches

2016-09-03 21:51:23 +02:00

patches

php7: disable valgrind support

2017-12-28 22:00:07 +01:00

Makefile

php7: disable valgrind support

2017-12-28 22:00:07 +01:00

pecl.mk

php7-pecl-http: fix build for big endian (fixes #3691)

2016-12-23 23:08:29 +01:00