diff options
author | Joseph Herlant <herlantj@gmail.com> | 2018-04-21 05:50:07 -0700 |
---|---|---|
committer | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-04-21 06:12:24 -0700 |
commit | 01749ffba818ce4da1e6c6674d621b2f03613443 (patch) | |
tree | 7b71f79c63ec5fb21e312dd0d21bb1b41be3d1bf | |
parent | 627d699aa84ad67b92b516fd294ac941e5db6fc5 (diff) | |
download | navit-01749ffba818ce4da1e6c6674d621b2f03613443.tar.gz |
Fix:CI:Make sure the wince build fails when an error occurs
-rw-r--r-- | ci/build_wince.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/build_wince.sh b/ci/build_wince.sh index a10b2a680..6e0514e1c 100644 --- a/ci/build_wince.sh +++ b/ci/build_wince.sh @@ -1,4 +1,5 @@ #!/bin/sh +set -e mkdir wince && cd wince cmake ../ -DCMAKE_TOOLCHAIN_FILE=Toolchain/arm-mingw32ce.cmake -DXSLTS=windows -DCACHE_SIZE=10485760 -Dsvg2png_scaling:STRING=16,32 -Dsvg2png_scaling_nav:STRING=32 -Dsvg2png_scaling_flag=16 -DSAMPLE_MAP=y |