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