Also for stats report which repo and which job number use our setup

[neurodebian.git] / tools / nd_build

diff --git a/tools/nd_build b/tools/nd_build
index 562b8aa90a0cf855bda10414b8f34b70326134f9..baf77a8d84cbac2765b172332af47609cacfb038 100755 (executable)
--- a/tools/nd_build
+++ b/tools/nd_build
@@ -77,6 +77,8 @@ else
   shift; shift; shift; shift
 fi
 
+# failed will be set to 1 if any build fails
+failed=
 for a in $arch; do
   # default
   options="$opts"
@@ -98,8 +100,7 @@ for a in $arch; do
              --buildresult . \
              --logfile "${buildfile}" \
              $options \
-             "$@" && status='OK' || status='FAILED'
-
+             "$@" && status='OK' || { status='FAILED'; failed=1; }
   timeinfo=$(tail -n 1 "${tsfile}")
   # Update the summary of builds
   touch summary.build                               # Assure existence
@@ -107,3 +108,5 @@ for a in $arch; do
   echo -e "${buildfile}\t$status\t$timeinfo" >> summary.build  # Add current one
   rm -f "${tsfile}"
 done
+# Exit with failure status if any built failed
+[ -z $failed ] || exit 1