ulri: Add some loggingHEADmaster

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 {