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