Add support for GNU readline
[emu8051.git] / src / cli / parser.y
index 1cb282c..7d22681 100644 (file)
@@ -45,13 +45,12 @@ int yyerror(const char *str)
 
 %%
 
-start  :  start command { menu_prompt(); }
+start  :  start command
    |  error TOK_ENTER {
          /* In case of error, discard entire line */
          yyerrok;
-         menu_prompt();
       }
-   | start TOK_ENTER { menu_prompt(); }
+   | start TOK_ENTER
    |
    ;