mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-06-07 06:55:25 +02:00
Code Issues Releases Wiki Activity

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

Browse Source 
This reverts commit f6614f2078740675ca0228b348500991888c2140 as the install
command started failing with "Version '3.0.0~precise' for 'hhvm' was not found"
in the meantime.

PHPBB3-12318
This commit is contained in:
Andreas Fischer 2014-04-03 22:30:34 +02:00
parent c2fbaf3af2
commit 1a044711fb
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
travis/setup-webserver.sh
View File

@ -26,8 +26,7 @@ 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" \ sudo apt-get -o Dpkg::Options::="--force-confnew" install -y hhvm
install -y hhvm=3.0.0~precise
# MySQLi is broken in HHVM 3.0.0~precise and still does not work for us in # MySQLi is broken in HHVM 3.0.0~precise and still does not work for us in
# 2014.03.28~saucy, i.e. needs more work. Use MySQL extension for now. # 2014.03.28~saucy, i.e. needs more work. Use MySQL extension for now.