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 · 2242b9e · 2242b9e
2 parents 843f939 + c35dfa7
commit 2242b9e
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 ""