usdot-fhwa-stol · jtbaird · May 7, 2020 · May 6, 2020 · May 6, 2020 · May 7, 2020
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -28,7 +28,7 @@ jobs:
     # Pull docker image from docker hub
     # XTERM used for better catkin_make output
     docker:
-      - image: usdotfhwastol/carma-base:3.7.0
+      - image: usdotfhwastol/carma-base:3.7.1
         user: carma
         environment:
           TERM: xterm

diff --git a/.gitignore b/.gitignore
@@ -5,7 +5,6 @@ src/VimbaCPP/
 lib/
 bin/
 build/
-docs/
 
 # Auto generated code
 cfg/cpp/

diff --git a/docker/checkout.sh b/docker/checkout.sh
@@ -17,7 +17,7 @@
 # CARMA packages checkout script
 # Optional argument to set the root checkout directory with no ending '/' default is '~'
 
-set -ex
+set -exo pipefail
 
 dir=~
 while [[ $# -gt 0 ]]; do

diff --git a/docs/PULL_REQUEST_TEMPLATE.md b/docs/PULL_REQUEST_TEMPLATE.md
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,7 +5,6 @@ src/VimbaCPP/ @@
     lib/
     bin/
     build/
-    docs/
     # Auto generated code
     cfg/cpp/
@@ Expand Down @@