1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/checkSpace.pl b/contrib/checkSpace.pl
index 8724250bc2..8b6fb828bf 100755
--- a/contrib/checkSpace.pl
+++ b/contrib/checkSpace.pl
@@ -75,5 +75,8 @@ for $fn (@ARGV) {
 	    }
 	}
     }
+    if ($lastnil) {
+        print "  EOL\@EOF:$fn:$.\n";
+    }
     close(F);
 }