diff options
author | jandegr <jandegr@users.noreply.github.com> | 2016-10-23 18:38:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-23 18:38:05 +0200 |
commit | 580508f81ecada4226cf11483fbccfdfd15fa3a7 (patch) | |
tree | c61ff0d284e968647401b6c562500bb7a0833fee | |
parent | dfa1665aec81e3c684007ecc86146272b8c04d05 (diff) | |
download | navit-tomtom_glib-2.14.6.tar.gz |
Update build_tomtom_minimal.shtomtom_glib-2.14.6
-rw-r--r-- | ci/build_tomtom_minimal.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/ci/build_tomtom_minimal.sh b/ci/build_tomtom_minimal.sh index 24a619f13..0376563c7 100644 --- a/ci/build_tomtom_minimal.sh +++ b/ci/build_tomtom_minimal.sh @@ -40,11 +40,10 @@ if ! [ -e "~/tomtom_assets/toolchain_redhat_gcc-3.3.4_glibc-2.3.2-20060131a.tar. wget -c http://www.tomtom.com/gpl/toolchain_redhat_gcc-3.3.4_glibc-2.3.2-20060131a.tar.gz -P ~/tomtom_assets fi -# temporary ? unavailable -# if ! test -f "~/tomtom_assets/libpng-1.6.25.tar.gz" -# then -# wget -c ftp://ftp.simplesystems.org/pub/libpng/png/src/libpng16/libpng-1.6.25.tar.gz -P ~/tomtom_assets -# fi +if ! test -f "~/tomtom_assets/libpng-1.6.25.tar.gz" + then + wget -c ftp://ftp.simplesystems.org/pub/libpng/png/src/libpng16/libpng-1.6.25.tar.gz -P ~/tomtom_assets +fi # toolchain cd /tmp |