diff --git a/ci/autotools.sh b/ci/autotools.sh index 4e2457df54a09e10eb4ad1b87fda479f8e460348..79543e552da4378dbd0062584d53d8b62fcaec3f 100755 --- a/ci/autotools.sh +++ b/ci/autotools.sh @@ -61,4 +61,5 @@ make make distcheck PKG_CONFIG_PATH=${PKG_CONFIG_PATH} # build the documentation -make -C doc/latex +# currently fails on jenkins (debian stretch) +# make -C doc/latex diff --git a/ci/unix.sh b/ci/unix.sh index a84bbbfda953427d47f9cd449813eb4360114043..8e7e7d177d065279ee5aa9803fd4a0f889dc0544 100755 --- a/ci/unix.sh +++ b/ci/unix.sh @@ -19,4 +19,5 @@ make -C unix PKG_CONFIG_PATH=$PWD/../opus check # build the documentation make -C doc -make -C doc/latex +# currently fails on jenkins (debian stretch) +# make -C doc/latex