From e126db833a8b3598ff3d0109ac1a81816e453875 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Gr=C3=B6ber?= <dxld@darkboxed.org>
Date: Fri, 14 Aug 2015 09:33:22 +0200
Subject: [PATCH] Disable nuke-caches for now, blowing away dist/ is too risky

---
 src/GHCMod.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/GHCMod.hs b/src/GHCMod.hs
index 540260a..094e0de 100644
--- a/src/GHCMod.hs
+++ b/src/GHCMod.hs
@@ -463,7 +463,7 @@ ghcCommands (cmd:args) = do
      "dumpsym" -> dumpSymbolCmd
      "boot"    -> bootCmd
      "legacy-interactive" -> legacyInteractiveCmd
-     "nuke-caches" -> nukeCachesCmd
+--     "nuke-caches" -> nukeCachesCmd
      _         -> fatalError $ "unknown command: `" ++ cmd ++ "'"
 
 newtype FatalError = FatalError String deriving (Show, Typeable)