Auto merge of #24063 - paulrouget:missingAdb, r=jdm

Download platform-tools even for non-emulator builds

`mach install --android` fails because adb is missing.

<!-- 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/24063)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-08-27 21:36:35 -04:00 committed by GitHub
commit 87f328a9a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -145,6 +145,7 @@ class MachCommands(CommandBase):
] ]
if build: if build:
components += [ components += [
"platform-tools",
"platforms;android-18", "platforms;android-18",
] ]