summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-10-27 22:54:31 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2017-10-28 04:37:41 +0200
commitc6a6d26f50fe87a5f67699f9696d63d9dfd39210 (patch)
tree5e598a86b14c1bbaec666cc4e644a7a052e761bc
parent3f697cdc7157883f5c9a33122a7aa1f8dc5598af (diff)
jenkins: use osmo-clean-workspace.sh before and after build
-rwxr-xr-xcontrib/jenkins.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index b08c63b..d159db9 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -14,8 +14,9 @@ deps="$base/deps"
inst="$deps/install"
export deps inst
+osmo-clean-workspace.sh
+
mkdir "$deps" || true
-rm -rf "$inst"
verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]")
@@ -41,3 +42,5 @@ if [ "x$label" != "xFreeBSD_amd64" ]; then
$MAKE check || cat-testlogs.sh
$MAKE distcheck || cat-testlogs.sh
fi
+
+osmo-clean-workspace.sh