- Possible fix for Bug #54108 (valgrind can not be found if located outside of system...

diff --git a/run-tests.php b/run-tests.php
index 1b4bd5f449eebb31b60ac91dd7d3651c60574ae4..dc5b7178efde226c3b43d12e2eedae65107bf5bb 100755 (executable)
--- 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.");