diff src/toplev.cc @ 3804:4073be5aefa1

[project @ 2001-02-28 08:36:04 by jwe]
author jwe
date Wed, 28 Feb 2001 08:38:39 +0000
parents b7d997d593d9
children 1a809dae77db
line wrap: on
line diff
--- a/src/toplev.cc	Wed Feb 28 08:24:43 2001 +0000
+++ b/src/toplev.cc	Wed Feb 28 08:38:39 2001 +0000
@@ -148,7 +148,11 @@
 	  if (error_state)
 	    {
 	      if (! (interactive || forced_interactive))
-		break;
+		{
+		  // We should exit with a non-zero status.
+		  retval = 1;
+		  break;
+		}
 	    }
 	  else
 	    {