diff options
author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-09-25 05:50:24 +0000 |
---|---|---|
committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-09-25 05:50:24 +0000 |
commit | f80e02cffb4408a4defabcae8f0b4961a1abae97 (patch) | |
tree | 411b2c568d985b932be390b20cf039a38115741d /trusty/coverage/coverage_test.cpp | |
parent | 230d6658fe0b837dde7f864e3bec4ccac99eed26 (diff) | |
parent | fbb0314c337f785b5ef20891ab4aa69cf9f034ba (diff) |
Merge "Turn off -Wnon-virtual-dtor explicitly" am: fbb0314c33
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1429930
Change-Id: I6c6da87564d81ac43f5636e601d9e38da9ecf7c9
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions