From fc08691d384fd5111e419604eeedc55ca75fe51d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Anders=20H=C3=B6glund?= <andwho@gmail.com>
Date: Wed, 24 May 2017 12:23:28 +0200
Subject: [PATCH] Update vagrant env, gcc-arm 6-2017q1-1~trusty3

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 03bf33164..95106df24 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -21,7 +21,7 @@ Vagrant.configure(2) do |config|
     apt-get remove -y binutils-arm-none-eabi gcc-arm-none-eabi
     add-apt-repository ppa:team-gcc-arm-embedded/ppa
     apt-get update
-    apt-get install -y git ccache gcc-arm-embedded=5-2016q3-1~trusty1
+    apt-get install -y git ccache gcc-arm-embedded=6-2017q1-1~trusty3
   SHELL
 end