diff --git a/test/ci-lint b/test/ci-lint index 12ee34618a..dcff05f4e6 100755 --- a/test/ci-lint +++ b/test/ci-lint @@ -1,7 +1,11 @@ #!/bin/sh if [ -z "$TRAVIS_COMMIT_RANGE" ] ; then - find . -name '*.php' -not -path './vendor/*' | xargs -n1 -r php -l + FILES=`find . -name '*.php' -not -path './vendor/*'` else - git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php' | xargs -n1 -r php -l + FILES=`git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php'` fi + +for FILE in FILES ; do + php -l $FILE +done