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 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -405,6 +405,9 @@ endif
 # -----------------------------------------------------------------------------
 # Directories
 
+# Don't try to delete directories:
+.PRECIOUS: %/.
+
 %/. : $(MKDIRHIER)
        "$(MKDIRHIER)" $@