Merge pull request #76 from mkhansenbot/add_pipefail

Add pipefail to space_robots build so that it fails on error
space-ros · Aug 17, 2023 · c60ab97 · c60ab97
2 parents 8ebdb35 + fca11ab
commit c60ab97
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/moveit2/build.sh b/moveit2/build.sh
@@ -7,6 +7,9 @@ TAG=latest
 VCS_REF=""
 VERSION=preview
 
+# Exit script with failure if build fails
+set -eo pipefail
+
 echo ""
 echo "##### Building Space ROS/MoveIt2 Docker Image #####"
 echo ""

diff --git a/space_robots/build.sh b/space_robots/build.sh
@@ -7,6 +7,9 @@ TAG=latest
 VCS_REF=""
 VERSION=preview
 
+# Exit script with failure if build fails
+set -eo pipefail
+
 echo ""
 echo "##### Building Space ROS Demo Docker Image #####"
 echo ""

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