From 4d206e2cedf735d8c2860a136347a8bd5194f182 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Thu, 10 Apr 2014 11:37:25 +0200
Subject: [PATCH] [ticket/12320] Install a nightly build of HHVM.

PHPBB3-12320
---
 travis/setup-webserver.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh
index 92c46f77f9..6188d2c232 100755
--- a/travis/setup-webserver.sh
+++ b/travis/setup-webserver.sh
@@ -26,7 +26,7 @@ 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-nightly
 
 	# MySQLi is broken in HHVM 3.0.0~precise and still does not work for us in
 	# 2014.03.28~saucy, i.e. needs more work. Use MySQL extension for now.