From: Ian Lynagh <igloo@earth.li>
Date: Tue, 29 Jul 2008 20:06:13 +0000 (+0000)
Subject: Make the push-all script complain about bad lines
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=0d2fd55fb1518d4ef715f36625dc1d788ad15c32

Make the push-all script complain about bad lines
---

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