1 files changed, 14 insertions, 0 deletions

diff --git a/scripts/kconfig/menu.c b/scripts/kconfig/menu.c
index 151ef2168a2c..a8afce24fb1b 100644
--- a/scripts/kconfig/menu.c
+++ b/scripts/kconfig/menu.c
@@ -154,6 +154,20 @@ void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)
 
 void menu_add_option(int token, char *arg)
 {
+        struct property *prop;
+
+        switch (token) {
+        case T_OPT_MODULES:
+                prop = prop_alloc(P_DEFAULT, modules_sym);
+                prop->expr = expr_alloc_symbol(current_entry->sym);
+                break;
+        case T_OPT_DEFCONFIG_LIST:
+                if (!sym_defconfig_list)
+                        sym_defconfig_list = current_entry->sym;
+                else if (sym_defconfig_list != current_entry->sym)
+                        zconf_error("trying to redefine defconfig symbol");
+                break;
+        }
 }
 
 static int menu_range_valid_sym(struct symbol *sym, struct symbol *sym2)