diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-09-25 07:17:45 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-09-25 07:17:45 +0000 |
| commit | b9617c896ac07c079f24f712234478bdeeda4d20 (patch) | |
| tree | 7599984bccfdcc551bdadc2e8d82b42802745514 /trusty/coverage/coverage_test.cpp | |
| parent | 713bfc515e8abbd4da5cc60e29b9d581a2830b37 (diff) | |
| parent | a51acd3e124a34700047f63c858b1b0dcd29cede (diff) | |
Merge "Turn off -Wnon-virtual-dtor explicitly" am: fbb0314c33 am: f80e02cffb am: adb2f5e6e2 am: 38193ea5b9 am: a51acd3e12
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1429930
Change-Id: Ia56e368477ae163c275a2721e4d866b72eae67e9
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions