diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2021-04-19 21:33:35 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-04-19 21:33:35 +0000 |
| commit | 1cc7c7e96b86996f7aa028bc6e5c06ddd1611519 (patch) | |
| tree | 190ab9c518e5744522ed1e37431900ff831d453b /trusty/coverage/coverage.cpp | |
| parent | 86ab07a8d2da038df95968397010e0e915e44adc (diff) | |
| parent | 6cf40a61dd8edcf31c963a4c7cae81c05e3e4bbb (diff) | |
Merge "Use the new more inclusive command-line options." am: 6cf40a61dd
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1679788
Change-Id: I1bef60a67a1886e85dca17a52c6197d12b63fa74
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions