diff options
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/setup-webserver.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh index 6612b2c4bb..68134872f9 100755 --- a/travis/setup-webserver.sh +++ b/travis/setup-webserver.sh @@ -6,6 +6,12 @@ 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 |