From 3e9711e937ace95ab6c483f24436264c67b90fab Mon Sep 17 00:00:00 2001 From: Pierre Grandin Date: Fri, 25 Aug 2017 16:09:38 -0700 Subject: Install wget when building for tomtom --- ci/build_tomtom_minimal.sh | 2 ++ ci/build_tomtom_plugin.sh | 2 ++ 2 files changed, 4 insertions(+) diff --git a/ci/build_tomtom_minimal.sh b/ci/build_tomtom_minimal.sh index 845224e05..d2d06e231 100644 --- a/ci/build_tomtom_minimal.sh +++ b/ci/build_tomtom_minimal.sh @@ -7,6 +7,8 @@ set -e +apt-get update && apt-get install -y wget + export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp diff --git a/ci/build_tomtom_plugin.sh b/ci/build_tomtom_plugin.sh index 08966ddb7..9a8f84f15 100644 --- a/ci/build_tomtom_plugin.sh +++ b/ci/build_tomtom_plugin.sh @@ -6,6 +6,8 @@ set -e +apt-get update && apt-get install -y wget + export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp -- cgit v1.2.1