From 8fda356c530366541d970088244c9286b107d495 Mon Sep 17 00:00:00 2001 From: Ettore Di Giacinto Date: Sat, 21 Jul 2018 21:38:42 +0200 Subject: [PATCH] Also include summary in injected_targets --- builder | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/builder b/builder index b05e71b..c0112ba 100755 --- a/builder +++ b/builder @@ -668,10 +668,22 @@ else { $return = $rt >> 8; } -loud "Compilation phase end"; +if ( @injected_packages > 0 ) { + my $res = compile_packs( "injected_targets", @injected_packages ); + loud "Compilation summary for injected_targets"; + foreach my $k ( keys %{$res} ) { + my $c = $res->{$k} >> 8; + if ( $c != 0 ) { + say "$k : build failed ( Exit: $c )"; + $return = 1 unless $keep_going; + } + else { + say "$k : build succeeded"; + } + } +} -# best effort -B -compile_packs( "injected_targets", @injected_packages ); +loud "Compilation phase end (Exit: $return)"; _system("chmod +x /post-script;./post-script") if -e "/post-script";