1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php
index 1742514b5d..bb8593895e 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -1300,7 +1300,7 @@ TEST $file
 			$section = $r[1];
 			settype($section, 'string');
 
-			if (isset($section_text[$section])) {
+			if (isset($section_text[$section]) && $section_text[$section]) {
 				$bork_info = "duplicated $section section";
 				$borked    = true;
 			}