Permalink
Browse files

- Possible fix for Bug #54108 (valgrind can not be found if located o…

…utside of system's default PATH)
  • Loading branch information...
1 parent a5348be commit 1f991c8e4240889176ca5a88fd66b646f59c0eb5 @felipensp felipensp committed Feb 27, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 run-tests.php
View
@@ -567,7 +567,7 @@ function save_or_mail_results()
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.");

0 comments on commit 1f991c8

Please sign in to comment.