summaryrefslogtreecommitdiff
path: root/.ghcid
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2019-04-03 15:42:53 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-04-08 15:00:08 -0400
commit4dda2270d26017eadddd99ed567aacf41c2913b9 (patch)
tree719706e644a2531002da60fbc5c5af4050747001 /.ghcid
parenta42d206a76e03b4cd831aa7bc72c6d4a0f124bd1 (diff)
downloadhaskell-4dda2270d26017eadddd99ed567aacf41c2913b9.tar.gz
Use ./hadrian/ghci.sh in .ghcid
Diffstat (limited to '.ghcid')
-rw-r--r--.ghcid6
1 files changed, 2 insertions, 4 deletions
diff --git a/.ghcid b/.ghcid
index f751a6fc83..26c2ad2183 100644
--- a/.ghcid
+++ b/.ghcid
@@ -1,7 +1,5 @@
---command utils/ghc-in-ghci/run.sh
+--command ./hadrian/ghci.sh
--reload compiler
--reload ghc
--reload includes
---restart utils/ghc-in-ghci/run.sh
---restart utils/ghc-in-ghci/load-main.ghci
---restart utils/ghc-in-ghci/settings.ghci
+--restart hadrian/