X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=2ad53d36d4e4e3da16dea2580ed41c1c439933a7;hb=5729150f2c4a00caf688e7e3b514b10b1987e211;hp=e19dd0c7a5eac5239aa9161a2f9380387d29fd7a;hpb=18f6e8958244f938e9e9a03a4230cacf0d22a470;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index e19dd0c7..2ad53d36 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -62,7 +62,6 @@
 
 static void i18n_init (void);
 static void fpu_init (void);
-static int execute_command (void);
 static void terminate (bool success) NO_RETURN;
 
 /* If a segfault happens, issue a message to that effect and halt */
@@ -102,7 +101,8 @@ main (int argc, char **argv)
 
       for (;;)
         {
-          int result = execute_command ();
+          int result = cmd_parse (proc_has_source ()
+                                  ? CMD_STATE_DATA : CMD_STATE_INITIAL);
           if (result == CMD_EOF || result == CMD_FINISH)
             break;
           if (result == CMD_CASCADING_FAILURE && !getl_is_interactive ())
@@ -118,25 +118,6 @@ main (int argc, char **argv)
   
   terminate (!any_errors ());
 }
-
-/* Parses a command and returns the result. */
-static int
-execute_command (void)
-{
-  /* Read the command's first token.  
-     The first token is part of the first line of the command. */
-  getl_set_prompt_style (GETL_PROMPT_FIRST);
-  lex_get ();
-  if (token == T_STOP)
-    return CMD_EOF;
-
-  /* Parse the command.
-     Any lines read after the first token must be continuation
-     lines. */
-  getl_set_prompt_style (GETL_PROMPT_LATER);
-  return cmd_parse (proc_has_source ()
-                    ? CMD_STATE_DATA : CMD_STATE_INITIAL);
-}
 
 static void
 i18n_init (void)