Files
packages/lang
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
..
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-11-07 00:05:47 +01:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-02-16 13:21:13 +00:00
2017-08-29 21:41:14 -07:00
2017-12-14 18:59:10 +01:00
2017-12-03 16:26:23 -07:00
2017-11-22 12:57:08 +01:00
2017-12-28 22:00:07 +01:00
2017-12-23 01:14:03 -02:00
2017-08-29 21:41:14 -07:00
2017-08-29 21:41:14 -07:00
2017-10-18 21:58:38 +02:00