From 491030fca946070d8b6e741ecc03e77b1b8f7967 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 11 Jan 2005 12:06:09 +0000
Subject: [PATCH] added support for Firm hooks

[r4845]
---
 win32/config.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/win32/config.h b/win32/config.h
index 9b9321475..3bbdcbc3d 100644
--- a/win32/config.h
+++ b/win32/config.h
@@ -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 */
 
-- 
2.20.1