1 files changed, 3 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index 8f2737dd63..5b0f604c77 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -405,6 +405,9 @@ endif
 # -----------------------------------------------------------------------------
 # Directories
 
+# Don't try to delete directories:
+.PRECIOUS: %/.
+
 %/. : $(MKDIRHIER)
 	"$(MKDIRHIER)" $@