From: root <root@dw-6.eecs.uci.edu>
Date: Fri, 21 Jun 2019 18:43:15 +0000 (-0700)
Subject: change exit we call so we don't call into client code
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b5023b7d3f469a1ccece72d2c2ee4b8c0496e96f;p=c11tester.git

change exit we call so we don't call into client code
---

diff --git a/common.h b/common.h
index 81af7864..01426a4d 100644
--- a/common.h
+++ b/common.h
@@ -32,7 +32,7 @@ void assert_hook(void);
 			fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
 			/* print_trace(); // Trace printing may cause dynamic memory allocation */ \
 			assert_hook();                           \
-			exit(EXIT_FAILURE); \
+			_Exit(EXIT_FAILURE); \
 		} \
 	} while (0)
 #else