added lint function to Makefile
This commit is contained in:
parent
012aeda681
commit
8296834b99
1 changed files with 3 additions and 1 deletions
4
Makefile
4
Makefile
|
|
@ -1,7 +1,7 @@
|
|||
# This really ought to be `/usr/bin/env bash`, but nix flakes don't like that.
|
||||
SHELL := /bin/sh
|
||||
|
||||
.PHONY: hoogle format haddock usage
|
||||
.PHONY: hoogle format haddock usage lint
|
||||
|
||||
usage:
|
||||
@echo "usage: make <command> [OPTIONS]"
|
||||
|
|
@ -40,3 +40,5 @@ haddock:
|
|||
tag:
|
||||
hasktags -x agora agora-bench agora-test
|
||||
|
||||
lint:
|
||||
hlint agora agora-bench agora-test
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue