diff options
Diffstat (limited to 'scripts/travis-build.sh')
-rwxr-xr-x | scripts/travis-build.sh | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/scripts/travis-build.sh b/scripts/travis-build.sh index 1b1a941b..30f9da5b 100755 --- a/scripts/travis-build.sh +++ b/scripts/travis-build.sh @@ -18,14 +18,16 @@ set -o nounset set -o errexit -BUILD_TYPES="debug release" -SANITIZERS="-asan -lsan -msan" +SCRIPT_DIR="$(dirname "$(readlink -f "$0")")" +source ${SCRIPT_DIR}/travis-common.sh -for BUILD_TYPE in ${BUILD_TYPES}; do - make ${CC}-${BUILD_TYPE}-sexpr-wasm - if [ ${CC} = "clang" ]; then - for SANITIZER in ${SANITIZERS}; do - make ${CC}-${BUILD_TYPE}-sexpr-wasm${SANITIZER} - done - fi +for COMPILER in ${COMPILERS}; do + for BUILD_TYPE in ${BUILD_TYPES}; do + make ${COMPILER}-${BUILD_TYPE}-sexpr-wasm + if [ ${COMPILER} = "clang" ]; then + for SANITIZER in ${SANITIZERS}; do + make ${CC}-${BUILD_TYPE}-sexpr-wasm${SANITIZER} + done + fi + done done |