diff options
author | Treehugger Robot <treehugger-gerrit@google.com> | 2021-04-19 19:24:36 +0000 |
---|---|---|
committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-04-19 19:24:36 +0000 |
commit | 86ab07a8d2da038df95968397010e0e915e44adc (patch) | |
tree | 000935eff29c5d0970919b291931930e352a3a35 /trusty/coverage/coverage_test.cpp | |
parent | cddf730f37ba6483ca0fba2844522c608773cd7c (diff) | |
parent | 661ba03bd64940b568d8fa4266120062f70907d9 (diff) |
Merge "Use the new more inclusive command-line options." am: 661ba03bd6
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1679789
Change-Id: I0804a6e12b590f18a9b3253253ea1d6f19c1e65b
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions