diff --git a/.travis/docker_tests.sh b/.travis/docker_tests.sh index cc791542b..a51dc1cd2 100755 --- a/.travis/docker_tests.sh +++ b/.travis/docker_tests.sh @@ -7,9 +7,12 @@ # LICENSE file in the root directory of this source tree. An additional grant # of patent rights can be found in the PATENTS file in the same directory. +set -e SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +set -x + # assumes we are in .travis/ cd "${SCRIPT_DIR}/../docker"