diff options
author | Scott MacVicar <scottmac@php.net> | 2008-11-06 03:08:58 +0000 |
---|---|---|
committer | Scott MacVicar <scottmac@php.net> | 2008-11-06 03:08:58 +0000 |
commit | 43149a8c1c8737143c0f9b8eb9d51bdfb2ee9202 (patch) | |
tree | 672b8c9cd76e3a4107b116b173bf4e4c98642994 /run-tests.php | |
parent | ca77d8ae3129825774fb2dc3a1d0547d585e2feb (diff) | |
download | php-git-43149a8c1c8737143c0f9b8eb9d51bdfb2ee9202.tar.gz |
Support versions of valgrind from SVN. The version is shown as 3.4.0.SVN
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 7899b38d86..99af7c2635 100755 --- a/run-tests.php +++ b/run-tests.php @@ -543,7 +543,7 @@ if (isset($argc) && $argc > 1) { if (!$valgrind_header) { error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed."); } else { - $valgrind_version = preg_replace("/valgrind-([0-9])\.([0-9])\.([0-9]+)(-\w+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_count); + $valgrind_version = preg_replace("/valgrind-([0-9])\.([0-9])\.([0-9]+)([.-]\w+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_count); if ($replace_count != 1 || !is_numeric($valgrind_version)) { error("Valgrind returned invalid version info (\"$valgrind_header\"), cannot proceed."); } |