From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Mon, 12 Jun 1989 17:36:22 +0000 (+0000)
Subject: Change the normal termination message.
X-Git-Tag: 20090517-FFI~12011
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=bfe762e27648b901fd40b8fc415fcd03d8b912b2;p=mit-scheme.git

Change the normal termination message.
---

diff --git a/v7/src/microcode/boot.c b/v7/src/microcode/boot.c
index 4af0f3940..6667e4438 100644
--- a/v7/src/microcode/boot.c
+++ b/v7/src/microcode/boot.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/boot.c,v 9.55 1989/06/02 21:43:13 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/boot.c,v 9.56 1989/06/12 17:36:22 jinx Rel $
 
 Copyright (c) 1988 Massachusetts Institute of Technology
 
@@ -599,7 +599,8 @@ Microcode_Termination(code)
     else
       printf("%s", Term_Messages [code]);
 
-    if (WITHIN_CRITICAL_SECTION_P())
+    if ((WITHIN_CRITICAL_SECTION_P()) &&
+	(code != TERM_HALT))
     {
       printf(" within critical section \"%s\"",
 	     CRITICAL_SECTION_NAME());