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"

1 files changed, 3 insertions, 1 deletions

diff --git a/jenkins-flake8.sh b/jenkins-flake8.sh
index cbcb0ae4c0..11f1cab6c8 100755
--- a/jenkins-flake8.sh
+++ b/jenkins-flake8.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}