diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-10-20 13:16:59 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-10-20 13:16:59 -0400 |
| commit | adb752e58102f79c769c40e79fd630e421e01b13 (patch) | |
| tree | 2fef032690ed69cf4898e3a652c37858f8ee67e8 /standalone | |
| parent | 2d7a9ebc691057cc47aea3108656f879a7ef9fcb (diff) | |
deal with android SDK change
No longer has android-18 target, now it's android-19.
Diffstat (limited to 'standalone')
| -rw-r--r-- | standalone/android/term.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/standalone/android/term.patch b/standalone/android/term.patch index efea69564..c0ceefd74 100644 --- a/standalone/android/term.patch +++ b/standalone/android/term.patch @@ -585,7 +585,7 @@ index 57219c3..79b45ef 100755 # Make sure target-11 is installed -$ANDROID update sdk -u -t android-11 -+$ANDROID update sdk -u -t android-18 ++$ANDROID update sdk -u -t android-19 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" ATE_ROOT="$( cd $DIR/.. && pwd )" @@ -594,5 +594,5 @@ index 57219c3..79b45ef 100755 PROJECT_DIR="$( dirname "$PROJECT_FILE" )" echo "Updating $PROJECT_FILE" - $ANDROID update project -p "$PROJECT_DIR" --target android-11 -+ $ANDROID update project -p "$PROJECT_DIR" --target android-18 ++ $ANDROID update project -p "$PROJECT_DIR" --target android-19 done |