diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2019-03-20 14:17:54 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-21 23:38:58 -0400 |
| commit | 7092b2de6fb8f23e03c0be7bd23bf394e087fc00 (patch) | |
| tree | 7b9510be246f7cbd0e537b2600bc6b3bf5892736 /.gitlab/linters | |
| parent | 84c77a675ccc4b6bbd0f271d7859266872eab777 (diff) | |
| download | haskell-7092b2de6fb8f23e03c0be7bd23bf394e087fc00.tar.gz | |
Only run check-makefiles.py linter in testsuite dir
Diffstat (limited to '.gitlab/linters')
| -rwxr-xr-x | .gitlab/linters/check-makefiles.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/linters/check-makefiles.py b/.gitlab/linters/check-makefiles.py index c97838beb5..4e4924cdbc 100755 --- a/.gitlab/linters/check-makefiles.py +++ b/.gitlab/linters/check-makefiles.py @@ -16,4 +16,4 @@ linters = [ ] if __name__ == '__main__': - run_linters(linters) #$, subdir='testsuite') + run_linters(linters, subdir='testsuite') |