diff options
| -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') |