diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:54:05 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-27 22:54:05 +0200 |
commit | 0f760a64769c63e267532080f476f63a42eda339 (patch) | |
tree | 141d25048f83798b38956a337417fee7cc45170b | |
parent | 05bce4cb9e711be3a39ddc1a5fb9eed373166947 (diff) |
jenkins: use osmo-clean-workspace.sh before and after build
See osmo-ci change I2409b2928b4d7ebbd6c005097d4ad7337307dd93 for rationale.
Depends: I2409b2928b4d7ebbd6c005097d4ad7337307dd93
Change-Id: I0030c8662fa87fb589582a3f6bde6ed53e8e3ef9
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 79d101e..6bf176a 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -2,8 +2,12 @@ set -ex +osmo-clean-workspace.sh + autoreconf --install --force ./configure $MAKE CFLAGS="-Werror" CPPFLAGS="-Werror" # currently broken $MAKE $PARALLEL_MAKE # currently broken $MAKE distcheck + +osmo-clean-workspace.sh |