From 09882de5f3cbfd62d59b9ec94723a90d67555b7d Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 30 Aug 2021 20:19:13 -0400 Subject: Update to ghc 8.10.4 This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'. --- Biz/Ide/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Biz/Ide/lint') diff --git a/Biz/Ide/lint b/Biz/Ide/lint index 3f98dcb..f8bcc1e 100755 --- a/Biz/Ide/lint +++ b/Biz/Ide/lint @@ -1,2 +1,2 @@ #!/usr/bin/env bash -runghc -i$BIZ_ROOT Biz.Lint $@ +bild $BIZ_ROOT/Biz/Lint.hs && $BIZ_ROOT/_/bin/lint $@ -- cgit v1.2.3