From 4dda2270d26017eadddd99ed567aacf41c2913b9 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Wed, 3 Apr 2019 15:42:53 +0100 Subject: Use ./hadrian/ghci.sh in .ghcid --- .ghcid | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to '.ghcid') 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/ -- cgit v1.2.1