Update install_devtools.sh

2020-04-28 23:54:34 +02:00
parent 83a33af7c6
commit 4477e2b9d8
1 changed files with 1 additions and 1 deletions
--- 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