diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-30 12:39:37 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-30 12:39:37 -0700 |
| commit | 487d8003a530194950ba74d9eaa0ccc841829c1d (patch) | |
| tree | d6c51df30e4ab53936f2cc55d72268a86392b67a | |
| parent | c7af10fe8957f544407397a56a0c0724b41845d1 (diff) | |
Improve 'make lint'.
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -107,8 +107,7 @@ reformat: ## reformat with stylish-haskell .PHONY: reformat lint: ## run hlint - hlint --report=hlint.html $(SOURCEFILES) - open hlint.html + hlint --report=hlint.html $(SOURCEFILES) || open hlint.html .PHONY: lint fix_spacing: ## fix trailing newlines and spaces |