diff options
author | Alexander Couzens <lynxis@fe80.eu> | 2018-02-25 20:23:56 +0100 |
---|---|---|
committer | Alexander Couzens <lynxis@fe80.eu> | 2018-03-27 13:37:39 +0200 |
commit | ffa4e5938c183263ccea455fe2aa206ca18a8228 (patch) | |
tree | 96d8c84aa5ee3ef12917b950828613115316a709 /contrib | |
parent | c0c6d70fe9d4122e6142b0a9785a44a7f3d0cf0d (diff) |
jenkins.sh: cleanup always the workspace
It was broken before becaues of checking emptyness against literal string
will never be zero.
However it should be cleaned always because the script is executed
recursive which would also end up, never being executed.
Change-Id: Ib228ff247a72b21b12e8dd4cbe3afe3e858c89d3
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 8751abd..10fc2b1 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -83,6 +83,4 @@ $MAKE $PARALLEL_MAKE $MAKE check \ || cat-testlogs.sh -if [ -z "x${INSIDE_CHROOT}" ]; then - osmo-clean-workspace.sh -fi +osmo-clean-workspace.sh |