diff options
Diffstat (limited to 'ci/build_win32.sh')
-rw-r--r-- | ci/build_win32.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/ci/build_win32.sh b/ci/build_win32.sh deleted file mode 100644 index 47b05b9d2..000000000 --- a/ci/build_win32.sh +++ /dev/null @@ -1,8 +0,0 @@ -apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis - -mkdir win32 -pushd win32 -cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package -popd - -cp win32/*.exe $CIRCLE_ARTIFACTS/ |