From e4141491b410ae93b8bef141810482b5c70aea4a Mon Sep 17 00:00:00 2001
From: Nicola Pero <n.pero@mi.flashnet.it>
Date: Wed, 14 Mar 2001 12:25:23 +0000
Subject: [PATCH] Do not create installation dir if it exists

git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@9366 72102866-910b-0410-8b05-ffd578937521
---
 tool.make | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tool.make b/tool.make
index d307b30f..6528cffb 100644
--- a/tool.make
+++ b/tool.make
@@ -124,7 +124,11 @@ else
 internal-tool-install:: internal-tool-all internal-install-dirs install-tool
 endif
 
-internal-install-dirs::
+# Depend on having created the installation dir
+internal-install-dirs:: $(TOOL_INSTALLATION_DIR)
+
+# This rule runs $(MKDIRS) only if needed
+$(TOOL_INSTALLATION_DIR):
 	$(MKDIRS) $(TOOL_INSTALLATION_DIR)
 
 ifeq ($(GNUSTEP_FLATTENED),)