diff options
| author | Olivier Blin <dev@blino.org> | 2015-11-08 23:26:20 +0100 |
|---|---|---|
| committer | Olivier Blin <dev@blino.org> | 2015-11-17 00:13:55 +0100 |
| commit | 2da58954b3cb4dbd6e24d8ce029175613f532a90 (patch) | |
| tree | 98be0028f63b439068832bf9269ae02487cb5321 /ulri | |
| parent | f429de1f34816962b20b0a3ec23eafe0453fcbd8 (diff) | |
| download | iurt-2da58954b3cb4dbd6e24d8ce029175613f532a90.tar iurt-2da58954b3cb4dbd6e24d8ce029175613f532a90.tar.gz iurt-2da58954b3cb4dbd6e24d8ce029175613f532a90.tar.bz2 iurt-2da58954b3cb4dbd6e24d8ce029175613f532a90.tar.xz iurt-2da58954b3cb4dbd6e24d8ce029175613f532a90.zip | |
ulri: Keep other builds going when a failure occurs on non-mandatory arch
Diffstat (limited to 'ulri')
| -rwxr-xr-x | ulri | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -430,7 +430,7 @@ foreach my $prefix (keys %pkg_tree) { ssh($remote, "rm -rf $prefix_dir"); if (-d "$fail_dir/$prefix") { # Other arch had failed - cleanup_failed_build($todo_dir, $done_dir, $fail_dir, $prefix, $ent); + cleanup_failed_build($todo_dir, $done_dir, $fail_dir, $prefix, $ent, $arch, $config); } else { $something_finished = 1; } @@ -492,7 +492,7 @@ foreach my $prefix (keys %pkg_tree) { $compildone->{$prefix}{$media}{$arch} = 0; } - cleanup_failed_build($todo_dir, $done_dir, $fail_dir, $prefix, $ent); + cleanup_failed_build($todo_dir, $done_dir, $fail_dir, $prefix, $ent, $arch, $config); # Notify user if build failed # |