From c5d6f3308f1a523cbcd3b795316d070d860a949a Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Tue, 14 Jul 2015 17:38:02 -0700 Subject: [PATCH] tools: also clean .dyn_o etc, and avoid .stack-work --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 581e3d8c5..79a6434f1 100644 --- a/Makefile +++ b/Makefile @@ -1334,7 +1334,7 @@ Stackclean: \ cleanghco: \ $(call def-help-hide,cleanghc, remove ghc build leftovers ) - rm -rf `find . -name "*.o" -o -name "*.hi" -o -name "*~" | grep -vE '(virthualenv|cabal-sandbox)'` + rm -rf `find . -name "*.o" -o -name "*.hi" -o -name "*.dyn_o" -o -name "*.dyn_hi" -o -name "*~" | grep -vE '\.(stack-work|cabal-sandbox|virthualenv)'` cleanghc: cleanghco \ $(call def-help-hide,cleanghc, remove ghc builds )