diff options
Diffstat (limited to 'ulri')
-rwxr-xr-x | ulri | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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; |