diff --git a/.ghcid b/.ghcid index aa9614bafd0a44345e3032609a89d661c85f8783..d1cccb8c8008813094d288f1ce62fcf11f42c07a 100644 --- a/.ghcid +++ b/.ghcid @@ -1,5 +1,5 @@ ---command sh -c "HADRIAN_ARGS=-j ./hadrian/ghci -j" +--command sh -c "HADRIAN_ARGS=-j exec ./hadrian/ghci-multi -j" --reload compiler --reload ghc --reload includes ---restart hadrian/ghci +--restart hadrian/ghci-multi