From 51accbd1d2acdaccbd8a32981ed43c930a755deb Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Tue, 27 Nov 2018 18:14:50 +0100
Subject: [PATCH] provision-apt: also run dist-upgrade

This ensures the kernel is upgraded as well with security fixes.
---
 buildserver/provision-apt-get-install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildserver/provision-apt-get-install b/buildserver/provision-apt-get-install
index a46b0429..0499111d 100644
--- a/buildserver/provision-apt-get-install
+++ b/buildserver/provision-apt-get-install
@@ -38,6 +38,7 @@ dpkg --add-architecture i386
 apt-get update || apt-get update
 apt-get upgrade --download-only
 apt-get upgrade
+apt-get dist-upgrade
 
 packages="
  ant