From e752d5dc7d38d9965595c7e4baf2ba7c45fe5faf Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Fri, 7 Jun 2002 11:05:21 +0000
Subject: [PATCH] cfg_dist.mk: Copy from cfg_dev.mk

---
 make/cfg_dist.mk | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 make/cfg_dist.mk

diff --git a/make/cfg_dist.mk b/make/cfg_dist.mk
new file mode 100644
index 00000000..8a4c5905
--- /dev/null
+++ b/make/cfg_dist.mk
@@ -0,0 +1 @@
+USE_TIMER  = true