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

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

Browse Source 
PHPBB3-12318
This commit is contained in:
Andreas Fischer
2014-03-30 01:50:46 +01:00
parent d53c411d90
commit e1be4943d8
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
travis/setup-webserver.sh
View File

@@ -26,7 +26,8 @@ APP_SOCK=$(realpath "$DIR")/php-app.sock
if [ "$TRAVIS_PHP_VERSION" = 'hhvm' ]
then
# 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