From 7b65c6ba31c18a933eadf17b826fce9d0b53d325 Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Tue, 27 Nov 2018 14:31:49 +0100
Subject: [PATCH] [android][vagrant] run final (full) update at the end

---
 android/Vagrantfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/android/Vagrantfile b/android/Vagrantfile
index 3b7dc75b62..3b79218f85 100644
--- a/android/Vagrantfile
+++ b/android/Vagrantfile
@@ -158,7 +158,11 @@ Vagrant.configure("2") do |config|
       SHELL
   end
 
-  config.vm.provision "shell", name: "Final cleanup and reboot...", inline: <<-SHELL
+  config.vm.provision "shell", name: "Final update, cleanup and reboot...", inline: <<-SHELL
+      export DEBIAN_FRONTEND=noninteractive;
+      apt-get update
+      apt-get --assume-yes upgrade
+      apt-get --assume-yes dist-upgrade
       apt-get clean
       reboot
   SHELL