diff options
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index d159db9..825d9ea 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -38,9 +38,7 @@ cd "$base" autoreconf --install --force ./configure --enable-external-tests $MAKE $PARALLEL_MAKE -if [ "x$label" != "xFreeBSD_amd64" ]; then - $MAKE check || cat-testlogs.sh - $MAKE distcheck || cat-testlogs.sh -fi +$MAKE check || cat-testlogs.sh +$MAKE distcheck || cat-testlogs.sh osmo-clean-workspace.sh |