Merge branch 'main' into chapulina/elevator

osrf · Nov 4, 2021 · 8aa63a7 · 8aa63a7
2 parents 1c80288 + 5363f23
commit 8aa63a7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docker/debug_integration.sh b/docker/debug_integration.sh
@@ -57,6 +57,10 @@ fi
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 
 cd $DIR
+
+# exit if the docker image doesn't build
+set -e
+
 # Build the docker image
 docker build -t mbari_lrauv_debug -f $DIR/debug_integration/Dockerfile ..