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 | |
| 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
| -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 |