diff options
| author | Paul Rouget <me@paulrouget.com> | 2019-08-27 06:53:31 +0200 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2019-08-27 06:53:31 +0200 |
| commit | 4635f81647ff44096f28bae58203f7b775fceb0d (patch) | |
| tree | 783fb0c582aaa32d0c51bd56413a206ee68d07d0 /python/servo/bootstrap_commands.py | |
| parent | 66e5ad0cb8a7674ba0ff0a5a9a77ccc8dc3f2b0f (diff) | |
| download | servo-4635f81647ff44096f28bae58203f7b775fceb0d.tar.gz servo-4635f81647ff44096f28bae58203f7b775fceb0d.zip | |
Download platform-tools even for non-emulator builds
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index 605b78362d8..0e7b7d68f35 100644 --- a/python/servo/bootstrap_commands.py +++ b/python/servo/bootstrap_commands.py @@ -145,6 +145,7 @@ class MachCommands(CommandBase): ] if build: components += [ + "platform-tools", "platforms;android-18", ] |