From 394650c206a83a9dd4c962ffb334750071cf0e5f Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Fri, 12 Apr 2024 19:20:41 +0000 Subject: ulri: Add some logging --- ulri | 2 ++ 1 file changed, 2 insertions(+) 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 { -- cgit v1.2.1