diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-08-25 17:58:15 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-08-25 17:58:15 -0700 |
| commit | 4af6e0d14be865d3b214b1d623c8078552381ead (patch) | |
| tree | 8f8ce3080acf243beec81f6f6c06f8988104ef7b | |
| parent | 81b9243b1f060c4d1fcbdb61f9ce3efc2eed3df8 (diff) | |
| download | navit-4af6e0d14be865d3b214b1d623c8078552381ead.tar.gz | |
Install build-essential for tomtom builds
| -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 8204930ab..1c2b9ec2e 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 unzip +apt-get update && apt-get install -y wget unzip cmake build-essential export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp diff --git a/ci/build_tomtom_plugin.sh b/ci/build_tomtom_plugin.sh index dd6936699..b6d489805 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 unzip +apt-get update && apt-get install -y wget unzip cmake build-essential export ARCH=arm-linux cp Toolchain/$ARCH.cmake /tmp |