From 62d808beccaf4ef94e743c57b9570bea99071eb7 Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <richard@matrix.org>
Date: Thu, 3 Mar 2016 11:38:36 +0000
Subject: [PATCH] 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"
---
 jenkins-flake8.sh    | 4 +++-
 jenkins-postgres.sh  | 4 +++-
 jenkins-sqlite.sh    | 4 +++-
 jenkins-unittests.sh | 4 +++-
 4 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/jenkins-flake8.sh b/jenkins-flake8.sh
index cbcb0ae4c..11f1cab6c 100755
--- a/jenkins-flake8.sh
+++ b/jenkins-flake8.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}
 
diff --git a/jenkins-postgres.sh b/jenkins-postgres.sh
index 1708cbfaa..d1fed590a 100755
--- a/jenkins-postgres.sh
+++ b/jenkins-postgres.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}
 
diff --git a/jenkins-sqlite.sh b/jenkins-sqlite.sh
index 2d98a0af9..57fd8de54 100755
--- a/jenkins-sqlite.sh
+++ b/jenkins-sqlite.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}
 
diff --git a/jenkins-unittests.sh b/jenkins-unittests.sh
index 2fa2f1b1d..104d51199 100755
--- a/jenkins-unittests.sh
+++ b/jenkins-unittests.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}