diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-08-25 16:35:56 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-08-25 16:35:56 -0700 |
| commit | 5e48450f938ac0502044115af4de601a633efdf6 (patch) | |
| tree | d94ce6928c1b3138490276ce2fa6e3dad891007e | |
| parent | 49a5f9e2176b3b91a21d85f6009e108058e78abf (diff) | |
| download | navit-5e48450f938ac0502044115af4de601a633efdf6.tar.gz | |
Install unzip for build_tomtom_*
| -rw-r--r-- | ci/build_tomtom_minimal.sh | 2 | ||||
| -rw-r--r-- | ci/build_tomtom_plugin.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ci/build_tomtom_minimal.sh b/ci/build_tomtom_minimal.sh index d2d06e231..8204930ab 100644 --- a/ci/build_tomtom_minimal.sh +++ b/ci/build_tomtom_minimal.sh @@ -7,7 +7,7 @@ set -e -apt-get update && apt-get install -y wget +apt-get update && apt-get install -y wget unzip export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp diff --git a/ci/build_tomtom_plugin.sh b/ci/build_tomtom_plugin.sh index 9a8f84f15..dd6936699 100644 --- a/ci/build_tomtom_plugin.sh +++ b/ci/build_tomtom_plugin.sh @@ -6,7 +6,7 @@ set -e -apt-get update && apt-get install -y wget +apt-get update && apt-get install -y wget unzip export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp |