1 files changed, 5 insertions, 1 deletions
diff --git a/Config.in b/Config.in
index f6ae4d342..c42dfbf10 100644
--- a/Config.in
+++ b/Config.in
@@ -1,8 +1,12 @@
 # This file is part of the OpenADK project. OpenADK is copyrighted
 # material, please see the LICENCE file in the top-level directory.
 
+config MODULES
+	boolean
+	default y
+
 config ADK_HAVE_DOT_CONFIG
-	bool
+	boolean
 	default y
 
 mainmenu "OpenADK Configuration"