From 27bebd75bd3215a65c6931a82ef73a6510fb2121 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 1 Mar 2017 22:19:26 +0100
Subject: [PATCH] Fix parameter name
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 test/ci-lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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