diff options
Diffstat (limited to '.ci/clint.sh')
| -rwxr-xr-x | .ci/clint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/clint.sh b/.ci/clint.sh index 5fe10211c4..53769a2552 100755 --- a/.ci/clint.sh +++ b/.ci/clint.sh @@ -1,3 +1,3 @@ #!/bin/sh -./clint.py $(cat clint-files.txt) +make lint |