X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.c;h=b386317a2c1052f07617f51f48ef022328b73339;hb=d4d9866bb2ec1797b8fb103e7144d0e9ffd1abff;hp=f86ef55c2be76f5fc351ff84b06a3ffb5de13732;hpb=83f1a2bf0e4a667ac084bdc727e507341d169267;p=pspp

diff --git a/src/command.c b/src/command.c
index f86ef55c2b..b386317a2c 100644
--- a/src/command.c
+++ b/src/command.c
@@ -561,7 +561,7 @@ int
 cmd_execute (void)
 {
   lex_match_id ("EXECUTE");
-  procedure (NULL, NULL, NULL);
+  procedure (NULL, NULL, NULL, NULL);
   return lex_end_of_command ();
 }
 
@@ -601,7 +601,7 @@ cmd_erase (void)
   return CMD_SUCCESS;
 }
 
-#if unix
+#ifdef unix
 /* Spawn a shell process. */
 static int
 shell (void)
@@ -713,7 +713,7 @@ cmd_host (void)
   
   lex_match_id ("HOST");
 
-#if unix
+#ifdef unix
   /* Figure out whether to invoke an interactive shell or to execute a
      single shell command. */
   if (lex_look_ahead () == '.')