From 619741ffe48f34e5329cad14dd436629ef36c429 Mon Sep 17 00:00:00 2001 From: Cheng Shao <terrorjack@type.dance> Date: Tue, 18 Jun 2024 11:27:19 +0000 Subject: [PATCH] ghcid: use multi repl for ghcid (cherry picked from commit 589fea7f1035970f515d422e6956d7d09d363f8f) --- .ghcid | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ghcid b/.ghcid index aa9614bafd0..d1cccb8c800 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 -- GitLab