From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 6 Oct 2009 09:40:00 +0000 (+0000)
Subject: Add ".PRECIOUS: %/."
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=bb0a30a9bf77c2129c83a427ae5ef8903e856104;hp=b5384cdf7f1d0e6c326bb939b85acd137b0a589b

Add ".PRECIOUS: %/."
To quiet those warnings from make about not being able to delete
directories.
---

diff --git a/ghc.mk b/ghc.mk
index 8f2737d..5b0f604 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -405,6 +405,9 @@ endif
 # -----------------------------------------------------------------------------
 # Directories
 
+# Don't try to delete directories:
+.PRECIOUS: %/.
+
 %/. : $(MKDIRHIER)
 	"$(MKDIRHIER)" $@