Merge remote-tracking branch 'origin/master'

2017-03-01 22:19:59 +01:00 · 2017-03-01 22:19:59 +01:00 · 0f6d615f29
commit 0f6d615f29
parent aca211af86 cabe08416d
1 changed files with 1 additions and 1 deletions
--- a/test/ci-lint
+++ b/test/ci-lint
@ -6,6 +6,6 @@ else
    FILES=`git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php'`
 fi

-for FILE in FILES ; do
+for FILE in $FILES ; do
    php -l $FILE
 done