Add pipefail to build.sh to ensure script fails if build fails

space-ros · Aug 16, 2023 · db45522 · db45522
1 parent 7b6b01a
commit db45522
Showing 1 changed file with 3 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 ""