diff --git a/run-tests.php b/run-tests.php index b1e0dba5c4a..28c7d391488 100755 --- a/run-tests.php +++ b/run-tests.php @@ -989,7 +989,7 @@ TEST $file $line = fgets($fp); // Match the beginning of a section. - if (preg_match('/^--([A-Z]+)--/', $line, $r)) { + if (preg_match('/^--([_A-Z]+)--/', $line, $r)) { $section = $r[1]; $section_text[$section] = ''; $secfile = $section == 'FILE' || $section == 'FILEEOF';