From 83a33af7c6420f6d7636ef5739afc74a261f7a1a Mon Sep 17 00:00:00 2001
From: Joshua Schnabel <github@joshua-schnabel.de>
Date: Tue, 28 Apr 2020 23:51:51 +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 7f22aa7..86ad974 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 devtools build-base linux-headers udev python python3
+  apt-get install devtools build-essential linux-headers-$(uname -r) udev python python3
 else
   echo "Skip installing devtools"
 fi