From d75b08be057537d5e907bd2b675bb1a50904b6e8 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Fri, 30 Apr 2004 08:23:25 +0000
Subject: [PATCH] forgot initialization

[r2824]
---
 Makefile.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index a40c393cc..ebdb02ed9 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -19,6 +19,8 @@ srcdir := @srcdir@
 topdir := .
 # subdirectory under topdir
 subdir := .
+# do we want statistics
+enable_statistics := @enable_statistics@
 
 subdirs := ir/adt ir/debug ir/tv ir/common ir/ident ir/ir ir/tr ir/ana ir/st
 
-- 
2.20.1