From e9a18ba224bacf1b97bc7115455ff6b92438d66c Mon Sep 17 00:00:00 2001
From: PJ Dietz <pjdietz@gmail.com>
Date: Wed, 18 May 2016 20:26:53 -0400
Subject: [PATCH] Update Vagrant PHP to v5.6

---
 vagrant/provision.sh | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/vagrant/provision.sh b/vagrant/provision.sh
index bc2416c..b5368e1 100644
--- a/vagrant/provision.sh
+++ b/vagrant/provision.sh
@@ -1,5 +1,10 @@
 #!/usr/bin/env bash
 
+# PHP-5.6 repository
+if ! apt-cache policy | grep ondrej/php5-5.6 ; then
+  apt-add-repository -y ppa:ondrej/php5-5.6
+fi
+
 apt-get update
 apt-get install -q -y git augeas-tools nginx php5 php5-fpm php5-cli php5-curl php5-xdebug python-pip
 
@@ -62,14 +67,6 @@ composer --working-dir=/vagrant install
 service php5-fpm restart
 service nginx restart
 
-# Run the unit tests.
-cd /vagrant
-vendor/bin/phpunit
-
-# Build the documentation.
-cd /vagrant/docs
-make clean && make html
-
 # Drop the user into the /vagrant directory on log in and dislay a message.
 if ! grep /home/vagrant/.bashrc -e "cd /vagrant" &> /dev/null ; then
   echo "cd /vagrant" >> /home/vagrant/.bashrc