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

diff --git a/darcs-all b/darcs-all
index 28933bf..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,6 +143,11 @@ sub main {
         elsif ($arg eq "-s") {
             $verbose = 0;
         }
+        # --dph says we grab the dph libs with 'get'.
+        # It has no effect on the other commands.
+        elsif ($arg eq "--dph") {
+            $tags{"dph"} = 1;
+        }
         # --extra says we grab the extra libs with 'get'.
         # It has no effect on the other commands.
         elsif ($arg eq "--extra") {