X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=config.h;h=ed0b6bac2e62e02043570503f552a73e4f028ffd;hb=1c3a286b9bf208163f478abaf2fe5b44d21d9823;hp=43c044278eac3350d507309f86a9b05582308ca8;hpb=63b2c687570085f2a87b6a659d26608228af1ee0;p=c11tester.git

diff --git a/config.h b/config.h
index 43c04427..ed0b6bac 100644
--- a/config.h
+++ b/config.h
@@ -54,4 +54,7 @@
 /** Enable debugging assertions (via ASSERT()) */
 #define CONFIG_ASSERT
 
+/** Enable mitigations against fork handlers that call into locks...  */
+#define FORK_HANDLER_HACK
+
 #endif