diff options
Diffstat (limited to 'scripts/build_win32.sh')
| -rw-r--r-- | scripts/build_win32.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build_win32.sh b/scripts/build_win32.sh index ce0ec0c07..8481c3b3f 100644 --- a/scripts/build_win32.sh +++ b/scripts/build_win32.sh @@ -7,6 +7,7 @@ mkdir win32 pushd win32 cmake -DTARGET_ARCH=i686-w64-mingw32 -DCMAKE_SYSTEM_NAME=Windows \ + -Dplugin/pedestrian=TRUE \ -Dbinding/python:BOOL=FALSE -DSAMPLE_MAP=n -DBUILD_MAPTOOL=n \ -DXSLTS=windows -DCMAKE_TOOLCHAIN_FILE=../Toolchain/mingw.cmake .. @@ -15,4 +16,4 @@ make -j $(nproc --all) package popd -cp win32/*.exe $CIRCLE_ARTIFACTS/
\ No newline at end of file +cp win32/*.exe $CIRCLE_ARTIFACTS/ |