diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index f2c9cbb..591d6c7 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -31,5 +31,7 @@ cd "$base" autoreconf --install --force ./configure $MAKE $PARALLEL_MAKE -$MAKE check || cat-testlogs.sh -$MAKE distcheck || cat-testlogs.sh +if [ "x$label" != "xFreeBSD_amd64" ]; then + $MAKE check || cat-testlogs.sh + $MAKE distcheck || cat-testlogs.sh +fi |