From 6f0c31d3388bf494e587db6c515b10ded539239b Mon Sep 17 00:00:00 2001
From: Joshua Schnabel <github@joshua-schnabel.de>
Date: Tue, 28 Apr 2020 22:06:45 +0200
Subject: [PATCH] Update install_devtools.sh

---
 nodered/scripts/install_devtools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nodered/scripts/install_devtools.sh b/nodered/scripts/install_devtools.sh
index d3e1e0b..7f22aa7 100644
--- a/nodered/scripts/install_devtools.sh
+++ b/nodered/scripts/install_devtools.sh
@@ -4,7 +4,7 @@ set -ex
 # Installing Devtools
 if [[ ${TAG_SUFFIX} != "minimal" ]]; then
   echo "Installing devtools"
-  apt-get install --no-cache --virtual devtools build-base linux-headers udev python python3
+  apt-get install devtools build-base linux-headers udev python python3
 else
   echo "Skip installing devtools"
 fi