diff --git a/.ci/ci-linux-build.sh b/.ci/ci-linux-build.sh index a48d0788a1..2fc40330c7 100755 --- a/.ci/ci-linux-build.sh +++ b/.ci/ci-linux-build.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -e + PARALLEL_JOBS=10 CI_BUILD_TYPE=$1 diff --git a/.ci/ci-osx-build.sh b/.ci/ci-osx-build.sh index bc2a056829..be1d670595 100755 --- a/.ci/ci-osx-build.sh +++ b/.ci/ci-osx-build.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -e + COPTS="--with-crypto=none --disable-pulseaudio --disable-cxx-bindings" PARALLEL_JOBS=10