diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/tbmaster.pl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index 1f78667..01d6da4 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -358,11 +358,19 @@ MAIN:{ die("Where is the tinderbox script?\n"); } + my $stopfile = expand('SANDBOX') . "/stop"; foreach my $branch (@{$CONFIG{'BRANCHES'}}) { foreach my $platform (@{$CONFIG{'PLATFORMS'}}) { + if (-e $stopfile || -e "$stopfile.$config") { + die("stop file found, aborting\n"); + } my ($arch, $machine) = split('/', $platform, 2); $machine = $arch unless defined($machine); + if (-e "$stopfile.$arch" || -e "$stopfile.$arch.$machine") { + warn("stop file for $arch/$machine found, skipping\n"); + next; + } tinderbox($branch, $arch, $machine); } } |
