Make the push-all script complain about bad lines

[ghc-hetmet.git] / push-all

diff --git a/push-all b/push-all
index d4491cf..545cbe2 100644 (file)
--- a/push-all
+++ b/push-all
@@ -67,6 +67,9 @@ sub pushall {
                 message "== $localpath repo not present; skipping";
             }
         }
+        elsif (! /^(#.*)?$/) {
+            die "Bad line: $_";
+        }
     }
     close IN;
 }