From 21e953932a1380b2746b2707ea9faef3cd1a8a2e Mon Sep 17 00:00:00 2001
From: Pascal Terjan <pterjan@gmail.com>
Date: Sat, 21 May 2016 18:48:02 +0100
Subject: Do not retry when a build succeeds while it is already being retried

---
 ulri | 4 ++--
 1 file 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;
-- 
cgit v1.2.1