summaryrefslogtreecommitdiff
path: root/run-tests.php
diff options
context:
space:
mode:
authorAdam Harvey <aharvey@php.net>2010-09-30 11:16:45 +0000
committerAdam Harvey <aharvey@php.net>2010-09-30 11:16:45 +0000
commit104bf57ae78f9e0f573aee930be6953a25c82dcd (patch)
tree0675b5566c349a9db1d28b1c931c4612d9dbae1b /run-tests.php
parent5f9956397f6183d93ff0eb8121b2d20868cd1a29 (diff)
downloadphp-git-104bf57ae78f9e0f573aee930be6953a25c82dcd.tar.gz
Loosen the valgrind version check slightly in run-tests.php so that it works
with the packaged valgrind in Ubuntu 10.04.
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 cdcd674ed8..9271964764 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -572,7 +572,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.");
}