diff options
| -rwxr-xr-x | scripts/clang-format-diff.sh | 1 | ||||
| -rwxr-xr-x | scripts/clang-tidy-diff.sh | 1 | ||||
| -rwxr-xr-x | scripts/emcc-tests.sh | 3 |
3 files changed, 4 insertions, 1 deletions
diff --git a/scripts/clang-format-diff.sh b/scripts/clang-format-diff.sh index fa858b9ab..c1f1885b7 100755 --- a/scripts/clang-format-diff.sh +++ b/scripts/clang-format-diff.sh @@ -1,6 +1,7 @@ #!/bin/bash set -o errexit +set -o pipefail # When we are running on travis and *not* part of a pull request we don't # have any upstream branch to compare against. diff --git a/scripts/clang-tidy-diff.sh b/scripts/clang-tidy-diff.sh index 1bed470cd..230764abe 100755 --- a/scripts/clang-tidy-diff.sh +++ b/scripts/clang-tidy-diff.sh @@ -1,6 +1,7 @@ #!/bin/bash set -o errexit +set -o pipefail if [ -n "$GITHUB_BASE_REF" ]; then BRANCH="origin/$GITHUB_BASE_REF" diff --git a/scripts/emcc-tests.sh b/scripts/emcc-tests.sh index ec3c5ec48..409ba256e 100755 --- a/scripts/emcc-tests.sh +++ b/scripts/emcc-tests.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash -set -e +set -o errexit +set -o pipefail mkdir -p emcc-build echo "emcc-tests: build:wasm" |