diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-01 15:15:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-01 15:15:32 -0400 |
| commit | 834d3193a2ed016093b6b997d29df5a607715956 (patch) | |
| tree | 03b49fbee5c64f28b4b5cee7124dc4fb47d764c7 /python/servo/command_base.py | |
| parent | aa63d607174b946a4d208ec51daaac021198db20 (diff) | |
| parent | 7a95cbcf91feecdf4230ddf346dde71fa29145f8 (diff) | |
| download | servo-834d3193a2ed016093b6b997d29df5a607715956.tar.gz servo-834d3193a2ed016093b6b997d29df5a607715956.zip | |
Auto merge of #21780 - jdm:ndk15upgrade, r=asajeffrey
Upgrade NDK to v15c.
This upgrades us to a more recent NDK to address that outstanding technical debt.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21780)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index ac9789ca389..0babff052f3 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -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" |