diff options
| -rw-r--r-- | .ghcid | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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/ |