X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=push-all;h=3f3515ed23f6b8f133e04ebaae8278880d423990;hp=a5c20629cdcf7589758b998090cf8bbc812ada72;hb=d107207d57f6102f580578e7c168b7317b04b9c4;hpb=813725ad928c03af656822aeadbcca0dc0b3ced4

diff --git a/push-all b/push-all
index a5c2062..3f3515e 100644
--- a/push-all
+++ b/push-all
@@ -11,8 +11,10 @@ my $ignore_failure = 0;
 
 # --checked-out says we are pushing to a checked out tree
 my $checked_out = 0;
-# --core-only says we only want to push corelibs, not extralibs
-my $core_only = 0;
+# --boot-only says we only want to push bootlibs, not extralibs
+my $boot_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 {
@@ -47,9 +49,9 @@ sub pushall {
             message "== $dir not present or not a repository; skipping";
         }
     }
-    my $library_lists = $core_only
-                      ? "libraries/core-packages"
-                      : "libraries/core-packages libraries/extra-packages";
+    my $library_lists = $boot_only
+                      ? "libraries/boot-packages"
+                      : "libraries/boot-packages libraries/extra-packages";
     for my $pkg (`cat $library_lists`) {
         chomp $pkg;
         $dir = "libraries/$pkg";
@@ -81,8 +83,14 @@ sub main {
             elsif ($arg eq "--checked-out") {
                 $checked_out = 1;
             }
-            elsif ($arg eq "--core-only") {
-                $core_only = 1;
+            elsif ($arg eq "--boot-only") {
+                $boot_only = 1;
+            }
+            elsif ($arg eq "--push") {
+                $push_pull = "push";
+            }
+            elsif ($arg eq "--pull") {
+                $push_pull = "pull";
             }
             else {
                 $reporoot = $arg;