aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-10-27 22:49:59 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2017-10-27 22:49:59 +0200
commitd3c81da3985c87ca37f8dc4202838dd12879658b (patch)
tree76e85b5cf4a83bf2ee48caee096f2dcef9791681
parent4200aa6b696e0661b48e8880e07273351e5b3648 (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 6ff44ee..ff83984 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -13,8 +13,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]")
@@ -36,3 +37,5 @@ autoreconf --install --force
$MAKE $PARALLEL_MAKE
$MAKE distcheck \
|| cat-testlogs.sh
+
+osmo-clean-workspace.sh