diff options
author | jandegr <jandegr@users.noreply.github.com> | 2018-02-11 15:41:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-11 15:41:44 +0100 |
commit | 193f5e4e24acb8f2c92ba81552f36129e55caff6 (patch) | |
tree | f9834f6e5e64612e9a11c00f467e0d9e475123eb | |
parent | 22afc587585d2afe398b11bfe1ae3d3f9eb78e1d (diff) | |
download | navit-193f5e4e24acb8f2c92ba81552f36129e55caff6.tar.gz |
Update build_win32.sh
-rw-r--r-- | ci/build_win32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_win32.sh b/ci/build_win32.sh index 47b05b9d2..234686fa9 100644 --- a/ci/build_win32.sh +++ b/ci/build_win32.sh @@ -2,7 +2,7 @@ apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime de 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 +cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package popd cp win32/*.exe $CIRCLE_ARTIFACTS/ |