From a26755dfd207edfb43f9263aa62d7ca9dae96517 Mon Sep 17 00:00:00 2001 From: "Janet B. Anderson" Date: Wed, 3 Jul 2002 19:43:22 +0000 Subject: [PATCH] Added config/tools to dirs. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 043d52c3e7..f56179276e 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ TOP = . include $(TOP)/configure/CONFIG -DIRS += config configure src +DIRS += config config/tools configure src include $(TOP)/configure/RULES_TOP