From bb0a30a9bf77c2129c83a427ae5ef8903e856104 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 6 Oct 2009 09:40:00 +0000
Subject: [PATCH] Add ".PRECIOUS: %/." To quiet those warnings from make about
 not being able to delete directories.

---
 ghc.mk |    3 +++
 1 file changed, 3 insertions(+)

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)" $@
 
-- 
1.7.10.4