diff options
| author | Nick Kralevich <nnk@google.com> | 2015-08-13 18:10:50 +0000 |
|---|---|---|
| committer | Nick Kralevich <nnk@google.com> | 2015-08-13 18:10:50 +0000 |
| commit | c307b5b7f81dd66f24904ec8a3f09daa2a46d20a (patch) | |
| tree | 7de041ba02d6e8013bbbd8ae3c025f07f2e1631a /trusty/coverage/coverage.cpp | |
| parent | aea73db1e3e06ca75509b78a8610e15bfb10d7fe (diff) | |
Revert "init: add LOCAL_SANITIZE := integer"
flounder isn't booting
This reverts commit aea73db1e3e06ca75509b78a8610e15bfb10d7fe.
Bug: 23166814
Change-Id: I36c811d1ca30e2366066142d9282bb713dae315f
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions