X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=darcs-all;h=0462930a0785a4a4d78f71520888144d551989d0;hb=fbb4683ec21a94a9614191db5d1bf458b489b6c7;hp=b1451b173f22dd1bd8097d3c95db5c9053c88c6a;hpb=b8539b1d6fabe70b28ce4da89d8e7c451d763e97;p=ghc-hetmet.git

diff --git a/darcs-all b/darcs-all
index b1451b1..0462930 100644
--- a/darcs-all
+++ b/darcs-all
@@ -75,7 +75,7 @@ sub darcsall {
                 message "== $localpath repo not present; skipping";
             }
         }
-        elsif (! /^$/) {
+        elsif (! /^(#.*)?$/) {
             die "Bad line: $_";
         }
     }
@@ -143,11 +143,10 @@ sub main {
         elsif ($arg eq "-s") {
             $verbose = 0;
         }
-        # --ci says we grab cabal-install repo, and the libraries it needs
-        # with 'get'.
+        # --dph says we grab the dph libs with 'get'.
         # It has no effect on the other commands.
-        elsif ($arg eq "--ci") {
-            $tags{"ci"} = 1;
+        elsif ($arg eq "--dph") {
+            $tags{"dph"} = 1;
         }
         # --extra says we grab the extra libs with 'get'.
         # It has no effect on the other commands.