diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2021-04-19 22:20:23 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-04-19 22:20:23 +0000 |
| commit | 92513c6c6dc1bb59311fab1768d96d8b86223045 (patch) | |
| tree | 24e8ecc75ed44cf401aa09103fef6dabe1d355e3 /trusty/coverage/coverage_test.cpp | |
| parent | 6fb4058b0b983dc9b5700ceb6df8cf2cf68db816 (diff) | |
| parent | c33591e575576535ba18a5a9c2fce42af62157e1 (diff) | |
Merge "Use the new more inclusive command-line options." am: 6cf40a61dd am: 1cc7c7e96b am: c33591e575
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1679788
Change-Id: Ia5db38fcbd561c376dcfb575010da768d0874fe7
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions