Loosen the valgrind version check slightly in run-tests.php so that it works

with the packaged valgrind in Ubuntu 10.04.

diff --git a/run-tests.php b/run-tests.php
index cdcd674ed81bca7913a339cc5e8204c524034467..9271964764f345652062a56a2f529e65a30f7af4 100755 (executable)
--- 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.");
                                                }