diff options
| author | jandegr <jandegr@users.noreply.github.com> | 2018-04-11 12:55:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-11 12:55:04 +0200 |
| commit | 2224d131655a031b6bed921c2e062368c7b87bf4 (patch) | |
| tree | c4cd669f7e5206bcd44d2b63062f85103a5c18c2 | |
| parent | 835ab9a74f43f0e63fdcaea8bd68c046868aeba5 (diff) | |
| download | navit-2224d131655a031b6bed921c2e062368c7b87bf4.tar.gz | |
Update build_win32.shwin32NMt
| -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 cb05c9b49..6ac301449 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 -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package +cmake -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DBUILD_MAPTOOL=n -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw32.cmake ../ && make -j $(nproc --all) && make -j $(nproc --all) package popd cp win32/*.exe $CIRCLE_ARTIFACTS/ |