Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-28 19:13:41 +01:00
Code Issues Projects Releases Packages Wiki Activity

Download platform-tools even for non-emulator builds

Browse source
This commit is contained in:
Paul Rouget 2019-08-27 06:53:31 +02:00
parent 66e5ad0cb8
commit 4635f81647
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/servo/bootstrap_commands.py
View file

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