diff options
| author | Nick Kralevich <nnk@google.com> | 2015-08-16 15:37:35 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-08-16 15:37:35 +0000 |
| commit | 084c00b80432a9b290c7b7c1b43c880de13553de (patch) | |
| tree | 79607aeb97524a5fc55ff29ab651df917ba5d147 /trusty/coverage/coverage.cpp | |
| parent | 94a845d97084ed2427462c4255c8709f50b6200f (diff) | |
| parent | f90b653667b9314d8342caeb08e652d7d6bc236f (diff) | |
Merge "init: add LOCAL_SANITIZE := integer"
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions