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

1 files changed, 1 insertions, 1 deletions

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.");