From 57fc44907f514e377f15ceda62c920179e5e093e Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@fb.com>
Date: Sat, 30 May 2020 11:25:40 -0700
Subject: [PATCH] Increase VM disk size

---
 support/Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/support/Vagrantfile b/support/Vagrantfile
index 24f166a1..f6b5f936 100644
--- a/support/Vagrantfile
+++ b/support/Vagrantfile
@@ -4,6 +4,7 @@
 # A vagrant config for testing against gcc-4.8.
 Vagrant.configure("2") do |config|
   config.vm.box = "ubuntu/xenial64"
+  config.disksize.size = '15GB'
 
   config.vm.provider "virtualbox" do |vb|
     vb.memory = "4096"