diff --git a/scripts/jenkins-report.sh b/scripts/jenkins-report.sh index e1dd779505..daec599362 100755 --- a/scripts/jenkins-report.sh +++ b/scripts/jenkins-report.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +set -e # Note: this script is in a temporary state. In an effort to get the # platform off of coveralls and onto codecov, we will be temporarily