aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-10-27 22:54:35 +0200
committerHarald Welte <laforge@gnumonks.org>2017-10-28 15:08:39 +0000
commit8a257b6c5a3680f436779e8b1371c62924c927ee (patch)
treeaeb35de8579e27bf83a993837b13a74ec02135fe
parentcc1afdfb7e20b4b3a87b3c64382181b09b74e1c3 (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 cda0e2c..01e3da2 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -7,8 +7,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]")
@@ -54,3 +55,5 @@ $MAKE check \
|| cat-testlogs.sh
$MAKE distcheck \
|| cat-testlogs.sh
+
+osmo-clean-workspace.sh