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)