diff options
author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-03-28 10:29:36 -0700 |
---|---|---|
committer | jkoan <jkoan@users.noreply.github.com> | 2018-03-28 19:29:36 +0200 |
commit | f71dc2b8c89c7562fcbfedd69d7f32d6c9fd6693 (patch) | |
tree | 66799ef0c0d38ef4191fd2d70a24b3b109b27de6 | |
parent | 87c4b35369aa4c4473a986db6893e664da64920e (diff) | |
download | navit-f71dc2b8c89c7562fcbfedd69d7f32d6c9fd6693.tar.gz |
Fix:wince:Remove useless files from the output (#412)
-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 052098962..a10b2a680 100644 --- a/ci/build_wince.sh +++ b/ci/build_wince.sh @@ -12,6 +12,7 @@ cp -r navit/icons/ output mkdir output/maps cp navit/maps/*.bin output/maps cp navit/maps/*.xml output/maps +rm -rf output/icons/CMakeFiles/ icons/cmake_install.cmake cd output/ zip -r navit.zip . |