diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-20 11:05:06 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-20 11:05:06 +0200 |
commit | 371a60cd9b131fd30b9a64cd757a4d59995ffdf0 (patch) | |
tree | a035823b0aabe737ab6ac42f4c9d5050ffbaa51d /scripts | |
parent | e0c2c423e8a399fd00090bf23e37d335a1a46029 (diff) | |
download | dotty-371a60cd9b131fd30b9a64cd757a4d59995ffdf0.tar.gz dotty-371a60cd9b131fd30b9a64cd757a4d59995ffdf0.tar.bz2 dotty-371a60cd9b131fd30b9a64cd757a4d59995ffdf0.zip |
Add -e to bash options in scripts.
See discussion in #591
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/jobs/validate/junit | 2 | ||||
-rwxr-xr-x | scripts/jobs/validate/partest | 2 | ||||
-rwxr-xr-x | scripts/jobs/validate/scalastyle | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/scripts/jobs/validate/junit b/scripts/jobs/validate/junit index f6c4369a5..9748c3f5f 100755 --- a/scripts/jobs/validate/junit +++ b/scripts/jobs/validate/junit @@ -1,3 +1,5 @@ +#!/bin/bash -e + baseDir=${WORKSPACE-`pwd`} scriptsDir="$baseDir/scripts" . $scriptsDir/common diff --git a/scripts/jobs/validate/partest b/scripts/jobs/validate/partest index 4fd67f1b8..9c3c6254d 100755 --- a/scripts/jobs/validate/partest +++ b/scripts/jobs/validate/partest @@ -1,3 +1,5 @@ +#!/bin/bash -e + baseDir=${WORKSPACE-`pwd`} scriptsDir="$baseDir/scripts" . $scriptsDir/common diff --git a/scripts/jobs/validate/scalastyle b/scripts/jobs/validate/scalastyle index dff202e8b..31ace83ba 100755 --- a/scripts/jobs/validate/scalastyle +++ b/scripts/jobs/validate/scalastyle @@ -1,3 +1,5 @@ +#!/bin/bash -e + baseDir=${WORKSPACE-`pwd`} scriptsDir="$baseDir/scripts" . $scriptsDir/common |