Merge pull request space-ros/docker#76 from mkhansenbot/add_pipefail

Add pipefail to space_robots build so that it fails on error
eholum · Aug 17, 2023 · 7dde23b · 7dde23b
2 parents b6e00b3 + 102fa62
commit 7dde23b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/spaceros/build.sh b/spaceros/build.sh
@@ -3,6 +3,9 @@
 VCS_REF="$(git rev-parse HEAD)"
 VERSION=preview
 
+# Exit script with failure if build fails
+set -eo pipefail
+
 echo ""
 echo "##### Building Space ROS Docker Image #####"
 echo ""