diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh index 60623ac6d..a860bd17f 100755 --- a/.github/update_distribution.sh +++ b/.github/update_distribution.sh @@ -22,7 +22,15 @@ update_distribution() { done done - wait + FAILING_CHILD= + for job in `jobs -p` ; do + wait ${job} || let "FAILING_CHILD=${job}" + done + + if [[ "${FAILING_CHILD}" != "" ]] ; then + echo "Child failed: ${FAILING_CHILD}" + exit 1 + fi if [[ "${PUSH_COMMAND}" != "--push" ]] ; then return