diff options
| author | Qi Wang <interwq@gwu.edu> | 2022-05-06 11:28:25 -0700 |
|---|---|---|
| committer | Qi Wang <interwq@gwu.edu> | 2022-05-06 11:28:25 -0700 |
| commit | 54eaed1d8b56b1aa528be3bdd1877e59c56fa90c (patch) | |
| tree | e79620e0c00b1f8b6b698fbe74df6bae7d812ae2 /scripts/windows/before_script.sh | |
| parent | ea6b3e973b477b8061e0076bb257dbd7f3faa756 (diff) | |
| parent | 304c919829f9f340669b61fa64867cfe5dba8021 (diff) | |
| download | jemalloc-master.tar.gz | |
Diffstat (limited to 'scripts/windows/before_script.sh')
| -rw-r--r-- | scripts/windows/before_script.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/scripts/windows/before_script.sh b/scripts/windows/before_script.sh new file mode 100644 index 00000000..9d30abab --- /dev/null +++ b/scripts/windows/before_script.sh @@ -0,0 +1,20 @@ +#!/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 autoconf +$build_env ./configure $CONFIGURE_FLAGS +# mingw32-make simply means "make", unrelated to mingw32 vs mingw64. +# Simply disregard the prefix and treat is as "make". +$build_env mingw32-make -j3 +# At the moment, it's impossible to make tests in parallel, +# seemingly due to concurrent writes to '.pdb' file. I don't know why +# that happens, because we explicitly supply '/Fs' to the compiler. +# Until we figure out how to fix it, we should build tests sequentially +# on Windows. +$build_env mingw32-make tests |