summaryrefslogtreecommitdiff
path: root/.ghcid
diff options
context:
space:
mode:
Diffstat (limited to '.ghcid')
-rw-r--r--.ghcid2
1 files changed, 1 insertions, 1 deletions
diff --git a/.ghcid b/.ghcid
index 9ce2eeb73e..966e6f5b0f 100644
--- a/.ghcid
+++ b/.ghcid
@@ -1,4 +1,4 @@
---command sh ./hadrian/ghci.sh
+--command sh ./hadrian/ghci
--reload compiler
--reload ghc
--reload includes