diff options
| author |  Adam Michael <ajmichael@google.com> | 2016-12-19 23:33:30 +0000 |
|---|---|---|
| committer |  Yue Gan <yueg@google.com> | 2016-12-20 06:13:35 +0000 |
| commit | c22a5c7a2e6690a55b7bad06f41b08160875899f (patch) | |
| tree | 96ef9f33606852782cce6ea287a4bb3742396721 /scripts | |
| parent | db9d6f15ac69ded498652806924e85a04a59d65b (diff) | |
Remove usages of build_tools_version attribute.
--
PiperOrigin-RevId: 142494003
MOS_MIGRATED_REVID=142494003
Diffstat (limited to 'scripts')
| -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}, ) |