summaryrefslogtreecommitdiff
path: root/darcs-all
diff options
context:
space:
mode:
Diffstat (limited to 'darcs-all')
-rw-r--r--darcs-all5
1 files changed, 5 insertions, 0 deletions
diff --git a/darcs-all b/darcs-all
index 28933bfc32..d53ed3630f 100644
--- a/darcs-all
+++ b/darcs-all
@@ -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") {