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 19:13:43 +0000 |
| commit | 62d808beccaf4ef94e743c57b9570bea99071eb7 (patch) | |
| tree | 9071a1674496e03a3eb1db03ed562d32679fc06c /contrib/vertobot | |
| parent | Merge pull request #621 from matrix-org/daniel/ratelimiting (diff) | |
| download | synapse-62d808beccaf4ef94e743c57b9570bea99071eb7.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 'contrib/vertobot')
0 files changed, 0 insertions, 0 deletions