diff options
Diffstat (limited to 'examples/redis-unstable/deps/jemalloc/scripts/windows/before_script.sh')
| -rw-r--r-- | examples/redis-unstable/deps/jemalloc/scripts/windows/before_script.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/examples/redis-unstable/deps/jemalloc/scripts/windows/before_script.sh b/examples/redis-unstable/deps/jemalloc/scripts/windows/before_script.sh deleted file mode 100644 index 9d30aba..0000000 --- a/examples/redis-unstable/deps/jemalloc/scripts/windows/before_script.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/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 |