added support for Firm hooks
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Jan 2005 12:06:09 +0000 (12:06 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Jan 2005 12:06:09 +0000 (12:06 +0000)
[r4845]

win32/config.h

index 9b93214..3bbdcbc 100644 (file)
@@ -94,6 +94,9 @@
 /* Define to 1 if Firm statistics are activated */
 #define FIRM_STATISTICS
 
+/* Define to 1 if Firm hooks are activated */
+#define FIRM_ENABLE_HOOKS
+
 /* Define the right volatile token */
 /* #undef volatile */