diff options
Diffstat (limited to 'travis/setup-webserver.sh')
-rwxr-xr-x | travis/setup-webserver.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh index 5bc0feae88..0dceead565 100755 --- a/travis/setup-webserver.sh +++ b/travis/setup-webserver.sh @@ -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 |