1 files changed, 2 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl
index 87d4e8b28..c12c2b258 100755
--- a/configure.pl
+++ b/configure.pl
@@ -1385,6 +1385,8 @@ sub read_list {
     if($line =~ m@^<$marker>$@) {
         while(1) {
             $line = &$reader();
+
+            die "EOF while searching for $marker" unless $line;
             last if($line =~ m@^</$marker>$@);
             &$func($line);
         }