From 5064b7db98ff4a9359ecdf04743dbb4c77b8dd52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Mon, 17 Jan 2022 19:13:45 +0100
Subject: [PATCH] Catching failing childs

---
 .github/update_distribution.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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