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

Merge pull request #3575 from marc1706/ticket/13792

Browse Source 
[ticket/13792] Use hhvm instead of manually installing nightlys for now
This commit is contained in:
Tristan Darricau 2015-05-02 11:45:05 +02:00
commit 9c320ccdce
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
travis/setup-webserver.sh
View File

@ -6,12 +6,6 @@
set -e
set -x
if [ "$TRAVIS_PHP_VERSION" = 'hhvm' ]
then
# Add PPA providing dependencies for recent HHVM on Ubuntu 12.04.
sudo add-apt-repository -y ppa:mapnik/boost
fi
sudo apt-get update
sudo apt-get install -y nginx realpath
@ -25,11 +19,9 @@ 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-nightly
HHVM_LOG=$(realpath "$DIR")/hhvm.log
sudo service hhvm stop
sudo hhvm \
--mode daemon \
--user "$USER" \