Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove Jenkins & other old dev junk (#3988) | Amber Brown | 2018-10-03 | 1 | -22/+0 |
| | |||||
* | jenkins-*.sh: set -x | Richard van der Hoff | 2016-03-03 | 1 | -1/+3 |
| | | | | | 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" | ||||
* | Split up jenkins tests | Erik Johnston | 2016-03-03 | 1 | -0/+20 |