From 7fde15090972a88a554ca2d691d37b965f8908a7 Mon Sep 17 00:00:00 2001 From: Jesse Zoldak Date: Wed, 12 Oct 2016 14:27:07 -0400 Subject: [PATCH] Return with an error code from the coverage reporting bash script if it encounters an error --- scripts/jenkins-report.sh | 1 + 1 file changed, 1 insertion(+) 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