aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xulri3
1 files changed, 3 insertions, 0 deletions
diff --git a/ulri b/ulri
index b9a35f7..bd93c01 100755
--- a/ulri
+++ b/ulri
@@ -293,6 +293,7 @@ check_upload_tree(\%run, $done, \&done_func,);
plog('MSG', "check build bot results");
my %later;
+my $something_finished;
foreach my $prefix (keys %pkg_tree) {
my $ent = $pkg_tree{$prefix};
foreach my $media (keys %{$ent->{media}}) {
@@ -394,6 +395,7 @@ foreach my $prefix (keys %pkg_tree) {
make_path("$done_dir/$prefix");
sget($remote, "$prefix_dir/log/*", "$done_dir/$prefix");
ssh($remote, "rm -rf $prefix_dir");
+ $something_finished = 1;
}
}
} # if ($status)
@@ -760,6 +762,7 @@ plog('INFO', "jobs in queue:", %to_compile ?
unlink $pidfile;
+exec "emi" if $something_finished;
exit();