diff options
| author | Qi Wang <interwq@gwu.edu> | 2022-05-06 18:28:25 (GMT) |
|---|---|---|
| committer | Qi Wang <interwq@gwu.edu> | 2022-05-06 18:28:25 (GMT) |
| commit | 54eaed1d8b56b1aa528be3bdd1877e59c56fa90c (patch) | |
| tree | e79620e0c00b1f8b6b698fbe74df6bae7d812ae2 /scripts/windows/script.sh | |
| parent | ea6b3e973b477b8061e0076bb257dbd7f3faa756 (diff) | |
| parent | 304c919829f9f340669b61fa64867cfe5dba8021 (diff) | |
| download | jemalloc-5.3.0.zip jemalloc-5.3.0.tar.gz jemalloc-5.3.0.tar.bz2 | |
Merge branch 'dev'5.3.0
Diffstat (limited to 'scripts/windows/script.sh')
| -rw-r--r-- | scripts/windows/script.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/windows/script.sh b/scripts/windows/script.sh new file mode 100644 index 0000000..3a27f70 --- /dev/null +++ b/scripts/windows/script.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +set -e + +if [[ "$TRAVIS_OS_NAME" != "windows" ]]; then + echo "Incorrect \$TRAVIS_OS_NAME: expected windows, got $TRAVIS_OS_NAME" + exit 1 +fi + +$build_env mingw32-make -k check |