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 26c2ad2183..9ce2eeb73e 100644
--- a/.ghcid
+++ b/.ghcid
@@ -1,4 +1,4 @@
---command ./hadrian/ghci.sh
+--command sh ./hadrian/ghci.sh
--reload compiler
--reload ghc
--reload includes