force a config reset when the user changes the target platform in menuconfig
[openwrt.git] / scripts / config / zconf.y
index 83243f5..ce13f02 100644 (file)
@@ -72,6 +72,7 @@ static struct menu *current_menu, *current_entry;
 %token <id>T_SELECT
 %token <id>T_RANGE
 %token <id>T_ON
+%token <id>T_RESET
 %token <string> T_WORD
 %token <string> T_WORD_QUOTE
 %token T_UNEQUAL
@@ -118,7 +119,7 @@ stmt_list:
 ;
 
 option_name:
-       T_DEPENDS | T_PROMPT | T_TYPE | T_SELECT | T_OPTIONAL | T_RANGE | T_DEFAULT
+       T_DEPENDS | T_PROMPT | T_TYPE | T_SELECT | T_OPTIONAL | T_RANGE | T_DEFAULT | T_RESET
 ;
 
 common_stmt:
@@ -274,6 +275,11 @@ choice_option: T_OPTIONAL T_EOL
        printd(DEBUG_PARSE, "%s:%d:optional\n", zconf_curname(), zconf_lineno());
 };
 
+choice_option: T_RESET T_EOL
+{
+       current_entry->sym->flags |= SYMBOL_RESET;
+};
+
 choice_option: T_DEFAULT T_WORD if_expr T_EOL
 {
        if ($1->stype == S_UNKNOWN) {
This page took 0.032196 seconds and 4 git commands to generate.