diff -r 000000000000 -r 42650dc4e95e config/debug/duma.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/debug/duma.in	Thu Jul 12 08:47:15 2007 +0000
@@ -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