From d4999ad8e92d6081f7ef5bb11a69a7a0fb079da9 Mon Sep 17 00:00:00 2001 From: Gabriel Caruso Date: Mon, 19 Feb 2018 02:42:16 -0300 Subject: [PATCH] Report unknown sections in run-tests.php --- run-tests.php | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/run-tests.php b/run-tests.php index 8b5309380b..9dce9ffe37 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1305,6 +1305,20 @@ TEST $file $borked = true; } + // check for unknown sections + if (!in_array($section, array( + 'EXPECT', 'EXPECTF', 'EXPECTREGEX', 'EXPECTREGEX_EXTERNAL', 'EXPECT_EXTERNAL', 'EXPECTF_EXTERNAL', 'EXPECTHEADERS', + 'POST', 'POST_RAW', 'GZIP_POST', 'DEFLATE_POST', 'GET', 'COOKIE', 'ARGS', 'REQUEST', 'HEADERS', + 'FILE', 'FILEEOF', 'FILE_EXTERNAL', 'REDIRECTTEST', + 'CAPTURE_STDIO', 'STDIN', 'CGI', 'PHPDBG', + 'INI', 'ENV', 'EXTENSIONS', + 'SKIPIF', 'XFAIL', 'CLEAN', + 'CREDITS', 'DESCRIPTION', + ))) { + $bork_info = 'Unknown section "' . $section . '"'; + $borked = true; + } + $section_text[$section] = ''; $secfile = $section == 'FILE' || $section == 'FILEEOF' || $section == 'FILE_EXTERNAL'; $secdone = false; -- 2.50.1