1 files changed, 3 insertions, 1 deletions
diff --git a/jenkins-sqlite.sh b/jenkins-sqlite.sh
index 2d98a0af93..57fd8de54d 100755
--- a/jenkins-sqlite.sh
+++ b/jenkins-sqlite.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux
 
 : ${WORKSPACE:="$(pwd)"}