felipe                                   Sun, 27 Feb 2011 17:55:39 +0000

Revision: http://svn.php.net/viewvc?view=revision&revision=308726

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

Bug: http://bugs.php.net/54108 (Open) valgrind can not be found if located 
outside of system's default PATH
      
Changed paths:
    U   php/php-src/branches/PHP_5_3/run-tests.php
    U   php/php-src/trunk/run-tests.php

Modified: php/php-src/branches/PHP_5_3/run-tests.php
===================================================================
--- php/php-src/branches/PHP_5_3/run-tests.php  2011-02-27 17:38:12 UTC (rev 
308725)
+++ php/php-src/branches/PHP_5_3/run-tests.php  2011-02-27 17:55:39 UTC (rev 
308726)
@@ -567,7 +567,7 @@
                                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.");

Modified: php/php-src/trunk/run-tests.php
===================================================================
--- php/php-src/trunk/run-tests.php     2011-02-27 17:38:12 UTC (rev 308725)
+++ php/php-src/trunk/run-tests.php     2011-02-27 17:55:39 UTC (rev 308726)
@@ -567,7 +567,7 @@
                                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.");

-- 
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to