aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xulri4
1 files changed, 2 insertions, 2 deletions
diff --git a/ulri b/ulri
index 4473eaa..f632134 100755
--- a/ulri
+++ b/ulri
@@ -383,6 +383,8 @@ foreach my $prefix (keys %pkg_tree) {
next bot if $later;
+ next bot if $success && !$fail;
+
if (!$ended && !$fail) {
plog('FAIL', "$bot timed out on $host/$arch ($seconds sec) or " .
"it's dead (status $proc_state), removing lock");
@@ -390,8 +392,6 @@ foreach my $prefix (keys %pkg_tree) {
next bot;
}
- next bot if $success && !$fail;
-
if (!$status) {
plog('ERROR', "build bot died on $host, reschedule compilation");
next bot;