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/jobs/validate/scalastyle | |
| 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/jobs/validate/scalastyle')
| -rwxr-xr-x | scripts/jobs/validate/scalastyle | 2 |
1 files changed, 2 insertions, 0 deletions
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 |