diff --git a/.travis/before-install-linux-php.sh b/.travis/before-install-linux-php.sh index b95e3b31d5..09028e5b86 100755 --- a/.travis/before-install-linux-php.sh +++ b/.travis/before-install-linux-php.sh @@ -7,4 +7,5 @@ sudo apt-get update -qq php -v +git clone https://github.com/antlr/antlr-php-runtime.git mvn install -DskipTests=true -Dmaven.javadoc.skip=true -B -V \ No newline at end of file