summary refs log tree commit diff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorRichard van der Hoff <richard@matrix.org>2016-03-03 11:38:36 +0000
committerRichard van der Hoff <richard@matrix.org>2016-03-03 11:38:36 +0000
commitb139e510412430cb7decd58a098871f7ded9ef0c (patch)
treea791d673071ed0fc608397dc70e05b53eec1772b /jenkins.sh
parentMerge pull request #616 from matrix-org/matthew/800x600 (diff)
downloadsynapse-b139e510412430cb7decd58a098871f7ded9ef0c.tar.xz
jenkins.sh: set -x
Also move the options from the shebang line to the body of the script, so that
they take effect even if somebody explicitly runs "bash jenkins.sh"
Diffstat (limited to '')
-rwxr-xr-xjenkins.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 9646ac0b01..b826d510c9 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}