diff options
author | Ben Sima <ben@bsima.me> | 2021-08-30 20:19:13 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:38 -0500 |
commit | 09882de5f3cbfd62d59b9ec94723a90d67555b7d (patch) | |
tree | 69f1c1fb85b7706e83be35c93fbd9d63d1b07dec /Biz/Ide/lint | |
parent | 1a5ea40711e35f8b108d10a0667423926d63fd34 (diff) |
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'.
Diffstat (limited to 'Biz/Ide/lint')
-rwxr-xr-x | Biz/Ide/lint | 2 |
1 files changed, 1 insertions, 1 deletions
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 $@ |