diff options
author | Alexey Neyman <stilor@att.net> | 2017-05-16 04:12:36 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-16 04:12:36 (GMT) |
commit | 1dbb06f2d375d58f12e79399b64b3111fc4d35fc (patch) | |
tree | b2b8807fd6c7d0d700b3efd724fb308182001cb1 /config/debug/duma.in | |
parent | ef762bfe8e1ec9063d645b1745dc8843997b7767 (diff) | |
parent | 97a20eed5c3cf3a2f7bb261705405b8b16c56b36 (diff) |
Merge pull request #717 from stilor/merge-bionic
Merge bionic
Diffstat (limited to 'config/debug/duma.in')
-rw-r--r-- | config/debug/duma.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in index 170a694..f9e727b 100644 --- a/config/debug/duma.in +++ b/config/debug/duma.in @@ -1,6 +1,7 @@ # D.U.M.A. - Detect Unintended Memory Access - Memory checker ## depends on ! BARE_METAL +## depends on ! LIBC_bionic ## help D.U.M.A. - Detect Unintended Memory Access ## help A memory bound checker, with additional features. |