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"
This commit is contained in:
Richard van der Hoff 2016-03-03 11:38:36 +00:00
parent c0147f86a1
commit b139e51041

View file

@ -1,4 +1,6 @@
#!/bin/bash -eu #!/bin/bash
set -eux
: ${WORKSPACE:="$(pwd)"} : ${WORKSPACE:="$(pwd)"}