Add ".PRECIOUS: %/."

To quiet those warnings from make about not being able to delete directories.

Add ".PRECIOUS: %/."
To quiet those warnings from make about not being able to delete directories.
bb0a30a9 · Simon Marlow · b5384cdf · bb0a30a9
Commit bb0a30a9 authored Oct 06, 2009 by Simon Marlow
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

ghc.mk ghc.mk +3 -0

No files found.
--- a/ghc.mk
+++ b/ghc.mk
@@ -405,6 +405,9 @@ endif
 # -----------------------------------------------------------------------------
 # Directories

+# Don't try to delete directories:
+.PRECIOUS: %/.
+
 %/. : $(MKDIRHIER)
 	"$(MKDIRHIER)" $@