Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Reduce 'android-18' duplication, as originally done by wenderen

Browse source 
Use android.platform (and $ANDROID_PLATFORM) for configuration, apply 'android-18' default
This commit is contained in:
Mitchell Hentges 2016-05-20 22:23:28 +02:00
parent dea610986d
commit 619212abf3
7 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

3
servobuild.example
View file

@ -41,10 +41,11 @@ debug-mozjs = false
# Android information
[android]
# Defaults to the value of $ANDROID_SDK, $ANDROID_NDK, $ANDROID_TOOLCHAIN respectively
# Defaults to the value of $ANDROID_SDK, $ANDROID_NDK, $ANDROID_TOOLCHAIN, $ANDROID_PLATFORM respectively
#sdk = "/opt/android-sdk"
#ndk = "/opt/android-ndk"
#toolchain = "/opt/android-toolchain"
#platform = "android-18"
# Gonk information
# Please fill the ndk/toolchain for Android too