aboutsummaryrefslogtreecommitdiffstats
path: root/ulri
diff options
context:
space:
mode:
Diffstat (limited to 'ulri')
-rwxr-xr-xulri2
1 files changed, 2 insertions, 0 deletions
diff --git a/ulri b/ulri
index fe5ad84..63c6586 100755
--- a/ulri
+++ b/ulri
@@ -163,6 +163,7 @@ foreach my $prefix (keys %pkg_tree) {
# Everything is fine, build is continuing!
# Kill it if that package had failed on a mandatory arch
if (check_if_mandatory_arch_failed($media, $ent, $config)) {
+ plog('INFO', "A mandatory arch had failed, killing the build on $host/$arch");
ssh($remote, "kill -TERM $pid");
$pkg_tree{$prefix}{media}{$media}{cancelled_arch}{$arch} = 1;
create_file("$done_dir/${prefix}_$arch.cancelled", "$bot $host");
@@ -250,6 +251,7 @@ foreach my $prefix (keys %pkg_tree) {
if (check_if_mandatory_arch_failed($media, $ent, $config)) {
# Discard this arch as another mandatory one failed
+ plog('INFO', "A mandatory arch had failed, discarding the successful build from $host/$arch");
cleanup_failed_build($todo_dir, $done_dir, $fail_dir, $prefix, $ent, $media, $arch, $config);
ssh($remote, "rm -rf $prefix_dir");
} else {