diff options
-rw-r--r-- | build-scripts/build-android | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index fd630ec..fc5aad2 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -47,6 +47,8 @@ else sudo update-java-alternatives --set java-1.7.0-openjdk-amd64 || true fi + java -version + # Download toolchain, fail-fast if test -n "$TOOLCHAIN_URL"; then wget -nv --no-check-certificate $TOOLCHAIN_URL |