Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 07:08:59 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make armv7-linux-androideabi default target on Android

Browse source
This commit is contained in:
Imanol Fernandez 2017-05-23 10:26:37 +02:00
parent 1b9cc2de34
commit 04fb628d20
4 changed files with 24 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/command_base.py
View file

@ -277,7 +277,8 @@ class CommandBase(object):
self.config["android"].setdefault("sdk", "")
self.config["android"].setdefault("ndk", "")
self.config["android"].setdefault("toolchain", "")
self.handle_android_target("arm-linux-androideabi")
# Set default android target
self.handle_android_target("armv7-linux-androideabi")
self.set_cargo_root()
self.set_use_stable_rust(False)