diff options
Diffstat (limited to 'config/debug/dmalloc.in')
| -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 aae0e6ed..00000000 --- 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 |