[ticket/12318] Pin HHVM version to 3.0.0~precise.

PHPBB3-12318
This commit is contained in:
Andreas Fischer 2014-03-30 01:50:46 +01:00
parent c607e8c35d
commit f6614f2078

View file

@ -26,7 +26,8 @@ APP_SOCK=$(realpath "$DIR")/php-app.sock
if [ "$TRAVIS_PHP_VERSION" = 'hhvm' ] if [ "$TRAVIS_PHP_VERSION" = 'hhvm' ]
then then
# Upgrade to a recent stable version of HHVM # Upgrade to a recent stable version of HHVM
sudo apt-get -o Dpkg::Options::="--force-confnew" install -y hhvm sudo apt-get -o Dpkg::Options::="--force-confnew" \
install -y hhvm=3.0.0~precise
HHVM_LOG=$(realpath "$DIR")/hhvm.log HHVM_LOG=$(realpath "$DIR")/hhvm.log