diff options
| -rwxr-xr-x | .ci/clint.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/.ci/clint.sh b/.ci/clint.sh index 55eb5c9394..5fe10211c4 100755 --- a/.ci/clint.sh +++ b/.ci/clint.sh @@ -1,9 +1,3 @@ #!/bin/sh -for file in $(cat clint-files.txt); do - ./clint.py $file || fail=1 -done - -if [ -n "$fail" ]; then - exit 1 -fi +./clint.py $(cat clint-files.txt) |