diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:54:53 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-10-31 09:24:58 +0000 |
commit | b0e1bd8c228f3795031cebfac2533dfabed61112 (patch) | |
tree | fe5d4344018890fb0a6279b03f5656a1fecaa90e /contrib/jenkins.sh | |
parent | 78e1cd20e2690f59c4ddee8faeeff98edbe5685c (diff) |
jenkins: use osmo-clean-workspace.sh before and after build
See osmo-ci change I2409b2928b4d7ebbd6c005097d4ad7337307dd93 for rationale.
Depends: I2409b2928b4d7ebbd6c005097d4ad7337307dd93
Change-Id: I609f7c7c88b49f26e2e48e1f1cffed76d9e6fb5e
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 80d6612..f31579e 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,7 +1,12 @@ #!/bin/sh set -ex + +osmo-clean-workspace.sh + autoreconf --install --force ./configure $MAKE $PARALLEL_MAKE $MAKE check \ || cat-testlogs.sh + +osmo-clean-workspace.sh |