# --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) {
}
sub darcs_push {
- darcs ("push", "--no-set-default", @_);
+ darcs ($push_pull, "--no-set-default", @_);
}
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";
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;