Return with an error code from the coverage reporting bash script if it encounters an error

2016-10-12 14:27:07 -04:00
parent d3b2d88361
commit 7fde150909
1 changed files with 1 additions and 0 deletions
--- 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