stat_finish must always exist

[r4847]

diff --git a/ir/stat/firmstat.c b/ir/stat/firmstat.c
index f68870b..6555ab7 100644 (file)
--- 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 */