Fix Trac #2467: decent warnings for orphan instances

[ghc-hetmet.git] / darcs-all

diff --git a/darcs-all b/darcs-all
index 28933bf..0462930 100644 (file)
--- 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") {