Skip to content

Commit c60ab97

Browse files
authored
Merge pull request #76 from mkhansenbot/add_pipefail
Add pipefail to space_robots build so that it fails on error
2 parents 8ebdb35 + fca11ab commit c60ab97

File tree

3 files changed

+9
-0
lines changed

3 files changed

+9
-0
lines changed

moveit2/build.sh

+3
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ TAG=latest
77
VCS_REF=""
88
VERSION=preview
99

10+
# Exit script with failure if build fails
11+
set -eo pipefail
12+
1013
echo ""
1114
echo "##### Building Space ROS/MoveIt2 Docker Image #####"
1215
echo ""

space_robots/build.sh

+3
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ TAG=latest
77
VCS_REF=""
88
VERSION=preview
99

10+
# Exit script with failure if build fails
11+
set -eo pipefail
12+
1013
echo ""
1114
echo "##### Building Space ROS Demo Docker Image #####"
1215
echo ""

spaceros/build.sh

+3
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,9 @@
33
VCS_REF="$(git rev-parse HEAD)"
44
VERSION=preview
55

6+
# Exit script with failure if build fails
7+
set -eo pipefail
8+
69
echo ""
710
echo "##### Building Space ROS Docker Image #####"
811
echo ""

0 commit comments

Comments
 (0)