1 files changed, 4 insertions, 0 deletions
diff --git a/ulri b/ulri
index 5398a9b..ad1fef8 100755
--- a/ulri
+++ b/ulri
@@ -297,6 +297,10 @@ foreach my $prefix (keys %pkg_tree) {
 
 		unless ($timeout || $zombie || $ended) {
 		    # Everything is fine, build is continuing!
+		    # Kill it if that package had failed on a mandatory arch
+		    if (check_if_mandatory_arch_failed($media, $prefix, $ent, $config)) {
+			ssh($remote, "kill -14 $pid");
+		    }
 		    next bot;
 		}
 		if ($timeout) {