X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.c;h=bdefcb22f266f759a711675774cac34851d11520;hb=92fb12eb06716d14c05b781f5d9dcde956d77c30;hp=0d557b2092e2c096e7ebfe21b68d6d86d33b8956;hpb=40271dcbfdecb01dfe808684741215eb2ddeb508;p=pspp

diff --git a/src/command.c b/src/command.c
index 0d557b2092..bdefcb22f2 100644
--- a/src/command.c
+++ b/src/command.c
@@ -618,7 +618,7 @@ error:
 int
 cmd_exit (void)
 {
-  if (getl_reading_script)
+  if (getl_reading_script())
     {
       msg (SE, _("This command is not accepted in a syntax file.  "
 	   "Instead, use FINISH to terminate a syntax file."));
@@ -739,7 +739,7 @@ shell (void)
 	
 	execl (shell_fn, shell_process, NULL);
 
-	err_hcf (1);
+	_exit (1);
       }
 
     case -1:
@@ -854,7 +854,7 @@ cmd_new_file (void)
 int
 cmd_clear_transformations (void)
 {
-  if (getl_reading_script)
+  if (getl_reading_script ())
     {
       msg (SW, _("This command is not valid in a syntax file."));
       return CMD_FAILURE;