From b2509ebc03f0b178683087886a9d9269cb84bd03 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 11 Jan 2005 13:10:41 +0000
Subject: [PATCH] init_stat must be empty if statistics is not enabled

[r4849]
---
 ir/stat/firmstat.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ir/stat/firmstat.h b/ir/stat/firmstat.h
index d2fb7ca81..793ec0621 100644
--- a/ir/stat/firmstat.h
+++ b/ir/stat/firmstat.h
@@ -47,6 +47,10 @@ void stat_finish(const char *name);
  */
 void init_stat(unsigned enable_options);
 
+#else
+
+#define init_stat(enable_options)
+
 #endif /* FIRM_STATISTICS */
 
 #endif /* _FIRMSTAT_H_ */
-- 
2.20.1