diff options
| author | Mark Haines <mjark@negativecurvature.net> | 2016-09-16 17:38:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-16 17:38:18 +0100 |
| commit | 4106767fd0fdc46e2bb9181639bfb2151c191f0f (patch) | |
| tree | 438e43dbf8caab70c6ef661cfdd350b67d71602f /jenkins.sh | |
| parent | 4ff663a0aeda35dd450d2a576da80dcd7c43de4e (diff) | |
| parent | 8acf8fd36750f63f7636936279d3d5589b39723c (diff) | |
Merge pull request #25 from matrix-org/markjh/fix_jenkins
Fix jenkins.sh
Diffstat (limited to 'jenkins.sh')
| -rwxr-xr-x | jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ set -e make clean -rm olm-*.tgz +rm -f olm-*.tgz make lib make test |