From 371a60cd9b131fd30b9a64cd757a4d59995ffdf0 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Wed, 20 May 2015 11:05:06 +0200 Subject: Add -e to bash options in scripts. See discussion in #591 --- scripts/jobs/validate/junit | 2 ++ scripts/jobs/validate/partest | 2 ++ scripts/jobs/validate/scalastyle | 2 ++ 3 files changed, 6 insertions(+) (limited to 'scripts') 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 -- cgit v1.2.3