From e71d2da9da43224237cf41cd5390e17a8bb730ae Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 1 Jun 2004 13:42:51 +0000
Subject: [PATCH] pattern.c is included only if statistics is enabled

[r2993]
---
 ir/stat/Makefile.in | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ir/stat/Makefile.in b/ir/stat/Makefile.in
index e56948a87..cbe5525a9 100644
--- a/ir/stat/Makefile.in
+++ b/ir/stat/Makefile.in
@@ -14,14 +14,20 @@ top_srcdir := @top_srcdir@
 srcdir = @srcdir@
 topdir = ../..
 subdir := ir/ir
+# do we want statistics
+enable_statistics := @enable_statistics@
 
 INSTALL_HEADERS = firmstat.h
 
 SOURCES = $(INSTALL_HEADERS)
 
 SOURCES += 	Makefile.in \
-		firmstat.c \
-		pattern.c
+		firmstat.c
+
+ifeq ($(enable_statistics),yes)
+SOURCES += pattern.c
+endif
+
 
 include $(topdir)/MakeRules
 
-- 
2.20.1