init_stat must be empty if statistics is not enabled

[r4849]

diff --git a/ir/stat/firmstat.h b/ir/stat/firmstat.h
index d2fb7ca..793ec06 100644 (file)
--- 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_ */