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 7d68736..dbdfda6 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -14,7 +14,10 @@ set -x autoreconf --install --force ./configure --enable-werror -$MAKE $PARALLEL_MAKE + +# Parallel make is disabled due to a race condition. On Jenkins, it often +# aborts the build with: "asn1p_y.y:357:13: error: 'param' undeclared" +$MAKE -j1 $MAKE distcheck \ || cat-testlogs.sh |