diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-27 21:36:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-27 21:36:35 -0400 |
| commit | 87f328a9a2a78851a142a1a85f0fde5897637fa3 (patch) | |
| tree | f3829a5c17266b5ed6b8ce7562fc2449353ec24f /components/script/dom/performanceentry.rs | |
| parent | 9a4f90bf0cb30909e4866c542a781052ec74812a (diff) | |
| parent | 4635f81647ff44096f28bae58203f7b775fceb0d (diff) | |
| download | servo-87f328a9a2a78851a142a1a85f0fde5897637fa3.tar.gz servo-87f328a9a2a78851a142a1a85f0fde5897637fa3.zip | |
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 -->
Diffstat (limited to 'components/script/dom/performanceentry.rs')
0 files changed, 0 insertions, 0 deletions