From 672eab3a9c8b2c2651038fbc2a31d523fe0ff067 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sat, 29 Mar 2014 17:50:15 +0100
Subject: [ticket/12318] Upgrade to a recent stable version of HHVM.

PHPBB3-12318
---
 travis/setup-webserver.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh
index d9c6b370a1..6612b2c4bb 100755
--- a/travis/setup-webserver.sh
+++ b/travis/setup-webserver.sh
@@ -19,6 +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 install -y hhvm
+
 	HHVM_LOG=$(realpath "$DIR")/hhvm.log
 
 	sudo hhvm \
-- 
cgit v1.2.1