diff options
author | Alexey Neyman <stilor@att.net> | 2017-04-24 03:08:26 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-24 03:08:26 (GMT) |
commit | 88fdbac4252744931ebcf80ade547ade525b71f4 (patch) | |
tree | 6c77f523d5c34bbf7ae1df1839f2f4275e505850 /config/debug/duma.in | |
parent | 368a0169a27313cca60cf7d7358b6f3ef12122e4 (diff) | |
parent | f98e04388c805a1b97b7a49e0d2da5c9acbcf887 (diff) |
Merge pull request #697 from stilor/makefile-enhancements-orig
Makefile enhancements
Diffstat (limited to 'config/debug/duma.in')
-rw-r--r-- | config/debug/duma.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in index 9947ca2..170a694 100644 --- a/config/debug/duma.in +++ b/config/debug/duma.in @@ -1,6 +1,5 @@ # D.U.M.A. - Detect Unintended Memory Access - Memory checker -## depends on ! BACKEND ## depends on ! BARE_METAL ## help D.U.M.A. - Detect Unintended Memory Access |