diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:40:30 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:41:57 +0200 |
| commit | 229fa070c49cb78c10dfda9e813b3702d9bf6e47 (patch) | |
| tree | 0d53dddfa5f7607d3064ce7ae6c1a07a9a221d5b /contrib/jenkins.sh | |
| parent | faee5dead683b87102240e8a4ff1f1a053869aeb (diff) | |
jenkins: use osmo-clean-workspace.sh before and after build
See osmo-ci change I2409b2928b4d7ebbd6c005097d4ad7337307dd93 for rationale.
Depends: I2409b2928b4d7ebbd6c005097d4ad7337307dd93
Change-Id: I99fdd20e7b18c2f4a59a9db35e5efccca6546b77
Diffstat (limited to 'contrib/jenkins.sh')
| -rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index d7315040..5798c950 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -29,3 +29,5 @@ build . # is well separated from the source tree state. $MAKE distcheck \ || cat-testlogs.sh + +osmo-clean-workspace.sh |