Move lint to separate step

Signed-off-by: Michal Čihař <michal@cihar.com>
This commit is contained in:
Michal Čihař 2016-01-25 12:08:41 +01:00
parent 1917bc159b
commit 981b90ba8a

View File

@ -38,6 +38,7 @@ before_script:
script:
- ant clean
- ant locales
- ant lint
- set -e;
if [ $TRAVIS_PHP_VERSION == "hhvm" ] ; then
ant phpunit-hhvm ;
@ -45,7 +46,6 @@ script:
if [ ! -z "$SELENIUM" ] ; then
ant phpunit-nocoverage ;
else
ant lint ;
ant phpunit ;
fi ;
fi