diff options
| author | Michael Heimpold <mhei@heimpold.de> | 2017-12-22 22:00:20 +0100 |
|---|---|---|
| committer | Michael Heimpold <mhei@heimpold.de> | 2017-12-28 22:00:07 +0100 |
| commit | 97305e41b61796869c1bd208d7532e0dc5e06fc0 (patch) | |
| tree | febc8c1722427ffffc5101f07f164b2b824baddf /lang/python/python3/files/python3-package-dev.mk | |
| parent | f51dca14cd39a175460daa5ebbe4e6df8c1f12ab (diff) | |
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>
Diffstat (limited to 'lang/python/python3/files/python3-package-dev.mk')
0 files changed, 0 insertions, 0 deletions