1095829d9f
We can not lint files which have been removed in the commit. Signed-off-by: Michal Čihař <michal@cihar.com>
14 lines
266 B
Bash
Executable File
14 lines
266 B
Bash
Executable File
#!/bin/sh
|
|
|
|
if [ -z "$TRAVIS_COMMIT_RANGE" ] ; then
|
|
FILES=`find . -name '*.php' -not -path './vendor/*'`
|
|
else
|
|
FILES=`git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php'`
|
|
fi
|
|
|
|
for FILE in $FILES ; do
|
|
if [ -f $FILE ] ; then
|
|
php -l $FILE
|
|
fi
|
|
done
|
