Do not enter ir/stat if statistics is disabled
authorRubino Geiß <rubino@ipd.info.uni-karlsruhe.de>
Tue, 20 Apr 2004 13:52:54 +0000 (13:52 +0000)
committerRubino Geiß <rubino@ipd.info.uni-karlsruhe.de>
Tue, 20 Apr 2004 13:52:54 +0000 (13:52 +0000)
commitcf2580b7d24d6b4bfa18083f36f651be51ace5e5
tree97edb412761bec1235c69fe7eefc4753a82d6f47
parent69323fd50a31e8c74dd50cdc595c966118d22fa6
Do not enter ir/stat if statistics is disabled

[r2688]
Makefile.in