Skip to content
Snippets Groups Projects
Commit 589fea7f authored by Cheng Shao's avatar Cheng Shao Committed by Marge Bot
Browse files

ghcid: use multi repl for ghcid

parent 23ddcc01
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