diff options
author | Adam Harvey <aharvey@php.net> | 2010-09-30 11:16:45 +0000 |
---|---|---|
committer | Adam Harvey <aharvey@php.net> | 2010-09-30 11:16:45 +0000 |
commit | 104bf57ae78f9e0f573aee930be6953a25c82dcd (patch) | |
tree | 0675b5566c349a9db1d28b1c931c4612d9dbae1b /run-tests.php | |
parent | 5f9956397f6183d93ff0eb8121b2d20868cd1a29 (diff) | |
download | php-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-x | run-tests.php | 2 |
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."); } |