diff options
Diffstat (limited to 'contrib/jenkins.sh')
| -rwxr-xr-x | contrib/jenkins.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index b08c63b..d159db9 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" verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]") @@ -41,3 +42,5 @@ if [ "x$label" != "xFreeBSD_amd64" ]; then $MAKE check || cat-testlogs.sh $MAKE distcheck || cat-testlogs.sh fi + +osmo-clean-workspace.sh |