diff --git a/test/ci-lint b/test/ci-lint
index dcff05f4e6..8dcd48f554 100755
--- 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