diff options
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 |