diff options
-rw-r--r-- | build-scripts/build-android | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 15e8245..fd630ec 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -47,6 +47,11 @@ else sudo update-java-alternatives --set java-1.7.0-openjdk-amd64 || true fi + # Download toolchain, fail-fast + if test -n "$TOOLCHAIN_URL"; then + wget -nv --no-check-certificate $TOOLCHAIN_URL + fi + if [ -n "$REPO_SEED_URL" ]; then repo-sync-from-seed "${1}" else @@ -90,7 +95,6 @@ else calc_make_jobs if test -n "$TOOLCHAIN_URL"; then - wget -nv --no-check-certificate $TOOLCHAIN_URL toolchain_filename=`echo $TOOLCHAIN_URL | sed -e 's/.*\/\([^/]*\)$/\1/'` mkdir toolchain tar -C toolchain --strip-components 1 -xf $toolchain_filename |