Skip to content
Snippets Groups Projects
Commit 24cd1a94 authored by Cheng Shao's avatar Cheng Shao
Browse files

ghcid: use multi repl for ghcid

(cherry picked from commit 589fea7f)
parent ff42cb34
No related branches found
No related tags found
No related merge requests found
--command sh -c "HADRIAN_ARGS=-j ./hadrian/ghci -j" --command sh -c "HADRIAN_ARGS=-j exec ./hadrian/ghci-multi -j"
--reload compiler --reload compiler
--reload ghc --reload ghc
--reload includes --reload includes
--restart hadrian/ghci --restart hadrian/ghci-multi
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment