diff options
Diffstat (limited to 'config/debug')
-rw-r--r-- | config/debug/duma.in | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in new file mode 100644 index 0000000..7995b81 --- /dev/null +++ b/config/debug/duma.in @@ -0,0 +1,44 @@ +# D.U.M.A. - Detect Unintended Memory Access - Memory checker + +menuconfig DUMA + bool + prompt "D.U.M.A." + default n + depends on EXPERIMENTAL + help + D.U.M.A. - Detect Unintended Memory Access + A memory bound checker, with additional features. + Formerly known as Electric Fence. + +if DUMA + +config DUMA_A + bool + prompt "Build a static library" + default y + +config DUMA_SO + bool + prompt "Build a shared library" + default y if SHARED_LIBS + default n if ! SHARED_LIBS + +choice + bool + prompt "D.U.M.A. version" + +config DUMA_V_2_5_1 + bool + prompt "2_5_1" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config DUMA_VERSION + string + default "2_5_1" if DUMA_V_2_5_1 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! + +endif |