From e1be4943d8b8840f05d9a2b9781d85322050977b Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sun, 30 Mar 2014 01:50:46 +0100
Subject: [PATCH] [ticket/12318] Pin HHVM version to 3.0.0~precise.

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

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