# --checked-out says we are pushing to a checked out tree
my $checked_out = 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";
}
}
- for my $pkg (`cat 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";
if (-d "$dir") {
if ($arg eq "-q") {
$verbose = 0;
}
+ elsif ($arg eq "--ignore-failure") {
+ $ignore_failure = 1;
+ }
elsif ($arg eq "--checked-out") {
$checked_out = 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;
if (grep /^-q$/, @_) {