diff -r 896cb0d36c1a -r 070a8c94bfe7 config/debug/duma.in
--- a/config/debug/duma.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/debug/duma.in	Sun Nov 11 21:42:34 2012 +0100
@@ -15,7 +15,6 @@
     bool
     prompt "Build a shared library"
     default y if SHARED_LIBS
-    default n if ! SHARED_LIBS
 
 choice
     bool