diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-07-04 01:12:13 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-04 01:12:13 -0400 |
| commit | ff52d3d96ebbe250bf0b63a9ce7a51e7905a71c5 (patch) | |
| tree | 4d76884d2dc9531762e3394cd91ca533187f1fd5 /standalone | |
| parent | a26aaf436d9af0154ceb990b4efe0de424e92ff2 (diff) | |
deal with android SDK change
No longer has android-17 target, now it's android-18.
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 5f7d40335..efea69564 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-17 ++$ANDROID update sdk -u -t android-18 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-17 ++ $ANDROID update project -p "$PROJECT_DIR" --target android-18 done |