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