Catching failing childs

This commit is contained in:
José Manuel Barroso Galindo
2022-01-17 19:13:45 +01:00
committed by GitHub
parent fb1326ee11
commit 5064b7db98

View File

@@ -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