diff --git a/moveit2/build.sh b/moveit2/build.sh index 7c30cd1..04cc00d 100755 --- 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 index e0aff77..94770d8 100755 --- 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 index 0e46145..fa877b1 100755 --- 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 ""