X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;fp=src%2Fui%2Fterminal%2Fmain.c;h=02be4f78c0e777f1e93df1719fc7fc0ed48f13f2;hb=ddb7b52128d8f1f54d9632dc3a15c7869e0fbcce;hp=10b3b7e9abc9e92027ccfb8504b4acd6dbac5ed7;hpb=f51ecb48027e6b1eb46840ae25888a25b429f012;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 10b3b7e9ab..02be4f78c0 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -129,13 +129,13 @@ main (int argc, char **argv)
 		     "a cascade of dependent command failures."));
 	  getl_abort_noninteractive (the_source_stream);
 	}
-      else
-	check_msg_count (the_source_stream);
+      else if (msg_ui_too_many_errors ())
+        getl_abort_noninteractive (the_source_stream);
     }
 
 
   clean_up ();
-  return any_errors ();
+  return msg_ui_any_errors ();
 }