summaryrefslogtreecommitdiff
path: root/run-tests.php
diff options
context:
space:
mode:
authorScott MacVicar <scottmac@php.net>2008-11-06 03:08:58 +0000
committerScott MacVicar <scottmac@php.net>2008-11-06 03:08:58 +0000
commit43149a8c1c8737143c0f9b8eb9d51bdfb2ee9202 (patch)
tree672b8c9cd76e3a4107b116b173bf4e4c98642994 /run-tests.php
parentca77d8ae3129825774fb2dc3a1d0547d585e2feb (diff)
downloadphp-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-xrun-tests.php2
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.");
}