diff options
Diffstat (limited to 'scripts/workspace_user.sh')
| -rwxr-xr-x | scripts/workspace_user.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/scripts/workspace_user.sh b/scripts/workspace_user.sh index de7b875b0a..4ad5ab8a79 100755 --- a/scripts/workspace_user.sh +++ b/scripts/workspace_user.sh @@ -29,24 +29,17 @@ while [ ! -f WORKSPACE ]; do fi done -function highest_build_tools_version() { - ls $ANDROID_HOME/build-tools | sort -t . -k 1n -k 2n -k 3n | tail -n 1 -} - function highest_api_level() { ls $ANDROID_HOME/platforms | cut -d '-' -f 2 | sort -n | tail -n 1 } if [ -n "${ANDROID_HOME:-}" ]; then - : ${ANDROID_BUILD_TOOLS_VERSION:=$(highest_build_tools_version)} : ${ANDROID_API_LEVEL:=$(highest_api_level)} cat <<EOF >WORKSPACE.user.bzl def android_sdk(): native.android_sdk_repository( name = "androidsdk", path = "${ANDROID_HOME}", - # Available versions are under /path/to/sdk/build-tools/. - build_tools_version = "${ANDROID_BUILD_TOOLS_VERSION}", # Available versions are under /path/to/sdk/platforms/. api_level = ${ANDROID_API_LEVEL}, ) |