From 92999aba6f1c744e242c91587162467c09af9f94 Mon Sep 17 00:00:00 2001
From: Aaron Piotrowski <aaron@trowski.com>
Date: Sat, 23 Jan 2016 10:50:56 -0600
Subject: [PATCH] Update vagrant box for PHP 7

---
 Vagrantfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 871cf5f..3fd791e 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,12 +2,12 @@ Vagrant.configure(2) do |config|
   config.vm.box = "rasmus/php7dev"
 
   config.vm.provision "shell", inline: <<-SHELL
-    newphp 56 zts
+    newphp 7 zts
 
     # Install pthreads from master
     git clone https://github.com/krakjoe/pthreads
     cd pthreads
-    git checkout PHP5
+    git checkout master
     phpize
     ./configure
     make