From fafa4cc75061e4005272d766f84c0994d5833b54 Mon Sep 17 00:00:00 2001
From: "beard%netscape.com" <beard%netscape.com>
Date: Sun, 24 Oct 1999 03:26:10 +0000
Subject: [PATCH] changed GC_abort() to call ExitToShell() rather than abort().
 bug=15906

---
 gc/boehm/misc.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gc/boehm/misc.c b/gc/boehm/misc.c
index 9856dd3bb08..b50d26b2549 100644
--- a/gc/boehm/misc.c
+++ b/gc/boehm/misc.c
@@ -758,7 +758,12 @@ void GC_abort(msg)
 char * msg;
 {
     GC_err_printf1("%s\n", msg);
+#ifdef MACOS
+	debugstr(msg);
+	ExitToShell();
+#else    
     (void) abort();
+#endif
 }
 #endif