diff --git a/build.sh b/build.sh index 45b11d4221d6a5b7579302dee7bc80f806d48662..66ba3d86f322559806182c114903e370b77b4318 100755 --- a/build.sh +++ b/build.sh @@ -273,6 +273,11 @@ do end_section "Build$variant" fi end_section "Do$variant" + if ! $succeeded + then + record_event "remaining variants skipped due to $variant failure" + break + fi done # build debian package