diff options
| author |   Alexey Neyman <stilor@att.net> | 2016-12-17 22:26:13 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2016-12-17 22:26:13 (GMT) |
| commit | cccb8d84817bca1cf1d33cfdb5932f361437c229 (patch) | |
| tree | 60c299213161c35280e6a5ddbeb49713cf944eea /config | |
| parent | a72f841bc2d2a1b3db838d3178d46f010b2f760e (diff) | |
| parent | e593a1a30b193f7aef2f439a28f162e8c5b3fd6e (diff) | |
Merge pull request #508 from stilor/drop-dmalloc
Drop dmalloc
Diffstat (limited to 'config')
| -rw-r--r-- | config/debug/dmalloc.in | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/config/debug/dmalloc.in b/config/debug/dmalloc.in deleted file mode 100644 index aae0e6e..0000000 --- a/config/debug/dmalloc.in +++ /dev/null @@ -1,25 +0,0 @@ -# dmalloc debug facility - -## depends on ! BACKEND -## depends on ! BARE_METAL -## -## help dmalloc helps tracking memory allocation mis-usage -## help such as double-free, use-after-free... - -choice - bool - prompt "dmalloc version" -# Don't remove next line -# CT_INSERT_VERSION_BELOW - -config DMALLOC_V_5_5_2 - bool - prompt "5.5.2" - -endchoice - -config DMALLOC_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "5.5.2" if DMALLOC_V_5_5_2 |