Option for force-rebuilding rakudo

Raku · Mar 21, 2015 · cc0cee4 · cc0cee4
1 parent 1cfc4c5
commit cc0cee4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/build-scripts/rebuild-rakudo.pl b/build-scripts/rebuild-rakudo.pl
@@ -6,6 +6,7 @@
 use autodie;
 use Data::Dumper;
 
+my $force = shift(@ARGV) // 0;
 say scalar localtime();
 chdir glob '~';
 
@@ -33,7 +34,7 @@
     chomp $r;
     my $needs_rebuild = `git rev-parse HEAD | grep ^$r|wc -l`;
     chomp $needs_rebuild;
-    if ($needs_rebuild) {
+    if (!$force && $needs_rebuild) {
         say "Don't need to rebuild, we are on the newest revision anyway";
         exit;
     }

diff --git a/build.pl b/build.pl
@@ -14,5 +14,5 @@
 
 die "Found no rebuild script for $what\n" unless $script;
 
-system "flock -w 60 $script_dir/lock.$what $script >~/log/$what.log 2>&1";
+system "flock -w 60 $script_dir/lock.$what $script @ARGV >~/log/$what.log 2>&1";
 #system $^X, "$FindBin::Bin/sync.pl",  $what;