From 2bbc9b76e5585e43e710434fb776f3ac89b47b0b Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 15 Sep 2019 16:35:35 -0700 Subject: [PATCH] ;Shake clean/Clean: update, fix dangerous over-cleaning in site/ [ci skip] --- Shake.hs | 15 +++------------ 1 file changed, 3 insertions(+), 12 deletions(-) diff --git a/Shake.hs b/Shake.hs index 5473bb99b..06c6c0b58 100755 --- a/Shake.hs +++ b/Shake.hs @@ -662,21 +662,12 @@ main = do -- Cleanup. phony "clean" $ do - -- putNormal "Cleaning generated help texts, manuals, staged site content" - -- removeFilesAfter "." commandtxts - putNormal "Cleaning generated manuals, staged site content" - removeFilesAfter "." webmanuals - removeFilesAfter "." [ - -- "site/README.md", - -- "site/CONTRIBUTING.md" - ] + putNormal "Cleaning object files in tools" + removeFilesAfter "tools" ["*.o","*.p_o","*.hi"] phony "Clean" $ do need ["clean"] - putNormal "Cleaning generated site content, object files, shake build cache" - removeFilesAfter "site" ["_*"] - removeFilesAfter "tools" ["*.o","*.p_o","*.hi"] - removeFilesAfter "site" ["*.o","*.p_o","*.hi"] + putNormal "Cleaning shake build cache" removeFilesAfter ".shake" ["//*"]