diff options
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 $@ |