diff --git a/run-tests.php b/run-tests.php index ae42e582ac4..3b2d2796ccd 100755 --- a/run-tests.php +++ b/run-tests.php @@ -972,7 +972,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';