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