From df71be7fa66bdae0597df95c623379f46fc64282 Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Tue, 27 Nov 2018 12:03:56 +0100
Subject: [PATCH] [android][vagrant] run full upgrade after initial install

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

diff --git a/android/Vagrantfile b/android/Vagrantfile
index 8d63117631..4f06afe68d 100644
--- a/android/Vagrantfile
+++ b/android/Vagrantfile
@@ -113,7 +113,7 @@ Vagrant.configure("2") do |config|
   config.vm.provision "shell", name: "Preparing desktop environment...", inline: <<-SHELL
       add-apt-repository ppa:lyzardking/ubuntu-make
       apt-get update
-      apt-get upgrade
+      apt-get dist-upgrade
       apt-get --assume-yes install ubuntu-mate-core virtualbox-guest-x11
       apt-get --assume-yes install ubuntu-make git automake libtool pkg-config
       update-locale LC_ALL=en_US.UTF-8