Skip to content
Blame Permalink
  • Richard van der Hoff's avatar
    62d808be
    jenkins-*.sh: set -x · 62d808be
    Richard van der Hoff authored 
    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"
    62d808be
    jenkins-*.sh: set -x
    Richard van der Hoff authored 
    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"