From eb3fc02d5f0168af12284d4851f1801530f48605 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 11 Jan 2005 12:25:19 +0000
Subject: [PATCH] stat_finish must always exist

[r4847]
---
 ir/stat/firmstat.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ir/stat/firmstat.c b/ir/stat/firmstat.c
index f68870ba8..6555ab71e 100644
--- a/ir/stat/firmstat.c
+++ b/ir/stat/firmstat.c
@@ -1381,4 +1381,9 @@ void init_stat(unsigned enable_options)
 #undef X
 }
 
+#else
+
+/* Finish the statistics */
+void stat_finish(const char *name) {}
+
 #endif /* FIRM_STATISTICS */
-- 
2.20.1