From: Ian Lynagh <igloo@earth.li>
Date: Wed, 12 Sep 2007 14:07:43 +0000 (+0000)
Subject: Give push-all the ability to pull with a --pull flag
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b494094bdec3f756010583342ce7bd1fed805281

Give push-all the ability to pull with a --pull flag
OK, so the name is a bit wrong now...
---

diff --git a/push-all b/push-all
index a5c2062..e486923 100644
--- a/push-all
+++ b/push-all
@@ -13,6 +13,8 @@ my $ignore_failure = 0;
 my $checked_out = 0;
 # --core-only says we only want to push corelibs, not extralibs
 my $core_only = 0;
+# --push or --pull?
+my $push_pull = "push";
 
 sub message {
     if ($verbose) {
@@ -32,7 +34,7 @@ sub darcs {
 }
 
 sub darcs_push {
-    darcs ("push", "--no-set-default", @_);
+    darcs ($push_pull, "--no-set-default", @_);
 }
 
 sub pushall {
@@ -84,6 +86,12 @@ sub main {
             elsif ($arg eq "--core-only") {
                 $core_only = 1;
             }
+            elsif ($arg eq "--push") {
+                $push_pull = "push";
+            }
+            elsif ($arg eq "--pull") {
+                $push_pull = "pull";
+            }
             else {
                 $reporoot = $arg;
                 if (grep /^-q$/, @_) {