From 29caaab817b1864079c8f4eccd90ad17baf62b3b Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Fri, 27 Oct 2017 22:54:29 +0200
Subject: [PATCH] jenkins: use osmo-clean-workspace.sh before and after build

See osmo-ci change I2409b2928b4d7ebbd6c005097d4ad7337307dd93 for rationale.

Depends: I2409b2928b4d7ebbd6c005097d4ad7337307dd93
Change-Id: I1424dff06c7d4f695af0936671ad6faa504aaf16
---
 contrib/jenkins.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 3bfb3f5..b2f8452 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"
 
 osmo-build-dep.sh libosmocore "" ac_cv_path_DOXYGEN=false
 
@@ -37,3 +38,5 @@ autoreconf --install --force
 ./configure
 $MAKE $PARALLEL_MAKE
 $MAKE distcheck
+
+osmo-clean-workspace.sh