diff options
author | Richard van der Hoff <richard@matrix.org> | 2016-03-03 11:38:36 +0000 |
---|---|---|
committer | Richard van der Hoff <richard@matrix.org> | 2016-03-03 11:38:36 +0000 |
commit | b139e510412430cb7decd58a098871f7ded9ef0c (patch) | |
tree | a791d673071ed0fc608397dc70e05b53eec1772b /scripts | |
parent | Merge pull request #616 from matrix-org/matthew/800x600 (diff) | |
download | synapse-b139e510412430cb7decd58a098871f7ded9ef0c.tar.xz |
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"
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions