X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=config%2Fmenu.c;fp=config%2Fmenu.c;h=c1d53200c306dc6202cbcc13555a05333c34411a;hb=3318b89864b3bcd8fa5fc545ee8725e7a38c5a63;hp=3a9c674932607ca9c1bdc4d62a15a98829e9b213;hpb=452afc107b8438338a7c2aa3e68fad213bea33dc;p=carl9170fw.git

diff --git a/config/menu.c b/config/menu.c
index 3a9c674..c1d5320 100644
--- a/config/menu.c
+++ b/config/menu.c
@@ -199,6 +199,12 @@ void menu_add_option(int token, char *arg)
 {
 	switch (token) {
 	case T_OPT_MODULES:
+		if (modules_sym)
+			zconf_error("symbol '%s' redefines option 'modules'"
+				    " already defined by symbol '%s'",
+				    current_entry->sym->name,
+				    modules_sym->name
+				    );
 		modules_sym = current_entry->sym;
 		break;
 	case T_OPT_DEFCONFIG_LIST: