From fc5666204f9052dcd35297ff8541b0c578f8dda2 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Tue, 4 Jun 2013 15:37:12 +0100
Subject: [PATCH] Call abort() instead of exit() for convenience when
 debugging.

Copied from Perforce
 Change: 182495
 ServerID: perforce.ravenbrook.com
---
 mps/code/testlib.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/code/testlib.c b/mps/code/testlib.c
index 7634fcf181c..fe81040ae85 100644
--- a/mps/code/testlib.c
+++ b/mps/code/testlib.c
@@ -328,7 +328,7 @@ void verror(const char *format, va_list args)
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");
   fflush(stderr); /* make sure the message is output */
-  exit(1);
+  abort();
 }