mirror of
https://github.com/servo/servo.git
synced 2025-06-29 19:43:39 +01:00
Upgrade NDK to v15c.
This commit is contained in:
parent
0a5aab6cc2
commit
7a95cbcf91
8 changed files with 73 additions and 31 deletions
|
@ -774,7 +774,7 @@ install them, let us know by filing a bug!")
|
|||
|
||||
def handle_android_target(self, target):
|
||||
if target == "armv7-linux-androideabi":
|
||||
self.config["android"]["platform"] = "android-18"
|
||||
self.config["android"]["platform"] = "android-21"
|
||||
self.config["android"]["target"] = target
|
||||
self.config["android"]["toolchain_prefix"] = "arm-linux-androideabi"
|
||||
self.config["android"]["arch"] = "arm"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue