archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-18 23:18:56 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

- Possible fix for Bug #54108 (valgrind can not be found if located outside of system's default PATH)

Browse source
This commit is contained in:
Felipe Pena 2011-02-27 17:55:39 +00:00
parent a5348bed31
commit 1f991c8e42
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
run-tests.php
View file

@ -567,7 +567,7 @@ if (isset($argc) && $argc > 1) {
case 'm': case 'm':
$leak_check = true; $leak_check = true;
$valgrind_cmd = "valgrind --version"; $valgrind_cmd = "valgrind --version";
$valgrind_header = system_with_timeout($valgrind_cmd); $valgrind_header = system_with_timeout($valgrind_cmd, $environment);
$replace_count = 0; $replace_count = 0;
if (!$valgrind_header) { if (!$valgrind_header) {
error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed."); error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed.");