summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjandegr <jandegr@users.noreply.github.com>2018-04-12 18:31:01 +0200
committerGitHub <noreply@github.com>2018-04-12 18:31:01 +0200
commitf34f4d89e48ecadb9a19183e0ab68f90ac2c2644 (patch)
treeccac68784c01e9a88a6b45be1af2ae65cdf8125f
parentcff4a70e7ef635d17557e5ea4e8adc7aff3cfe81 (diff)
parent2224d131655a031b6bed921c2e062368c7b87bf4 (diff)
downloadnavit-f34f4d89e48ecadb9a19183e0ab68f90ac2c2644.tar.gz
Merge pull request #437 from navit-gps/win32NMt
Update build_win32.sh
-rw-r--r--ci/build_win32.sh2
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/