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
commit81faf213c3ae85de2fd190fe2c6baba1310ca347 (patch)
tree24262daa45bae15091c180588f11601067c2ad46 /run-tests.php
parent750d835b704a7cda90fa370b6ba36332603ed954 (diff)
downloadphp-git-81faf213c3ae85de2fd190fe2c6baba1310ca347.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.");
}