diff options
-rwxr-xr-x | .ci/ci-linux-build.sh | 2 | ||||
-rwxr-xr-x | .ci/ci-osx-build.sh | 2 |
2 files changed, 4 insertions, 0 deletions
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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | set -e | ||
4 | |||
3 | PARALLEL_JOBS=10 | 5 | PARALLEL_JOBS=10 |
4 | 6 | ||
5 | CI_BUILD_TYPE=$1 | 7 | 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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | set -e | ||
4 | |||
3 | COPTS="--with-crypto=none --disable-pulseaudio --disable-cxx-bindings" | 5 | COPTS="--with-crypto=none --disable-pulseaudio --disable-cxx-bindings" |
4 | PARALLEL_JOBS=10 | 6 | PARALLEL_JOBS=10 |
5 | 7 | ||