diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-25 03:08:42 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-25 10:34:14 +0100 |
| commit | 6a5dc25f766a894dfa0e97140936dda48f6f0e62 (patch) | |
| tree | bf49c56f7d4950eb333b9ae75ce62a1a613e7e66 /Makefile | |
| parent | f38ab4e25a5e4ea9a1a5bae610239e0741c426a9 (diff) | |
apply hlint suggestions
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -10,3 +10,6 @@ coverage: | |||
| 10 | 10 | ||
| 11 | profile: | 11 | profile: |
| 12 | ./run-test-suite.sh --profile | 12 | ./run-test-suite.sh --profile |
| 13 | |||
| 14 | hlint: | ||
| 15 | hlint -h tool/HLint.hs src test tool | ||