From: Felipe Pena <felipe@php.net>
Date: Sun, 27 Feb 2011 17:55:39 +0000 (+0000)
Subject: - Possible fix for Bug #54108 (valgrind can not be found if located outside of system... 
X-Git-Tag: php-5.3.6RC2~6
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1f991c8e4240889176ca5a88fd66b646f59c0eb5;p=php

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

diff --git a/run-tests.php b/run-tests.php
index 1b4bd5f449..dc5b7178ef 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -567,7 +567,7 @@ if (isset($argc) && $argc > 1) {
 				case 'm':
 					$leak_check = true;
 					$valgrind_cmd = "valgrind --version";
-					$valgrind_header = system_with_timeout($valgrind_cmd);
+					$valgrind_header = system_with_timeout($valgrind_cmd, $environment);
 					$replace_count = 0;
 					if (!$valgrind_header) {
 						error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed.");