From b5d174a18dfb69623c8e6f7eec1305ff6ab07158 Mon Sep 17 00:00:00 2001
From: Joshua Schnabel <github@joshua-schnabel.de>
Date: Tue, 28 Apr 2020 21:45:49 +0200
Subject: [PATCH] Create install_devtools.sh

---
 nodered/scripts/install_devtools.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 nodered/scripts/install_devtools.sh

diff --git a/nodered/scripts/install_devtools.sh b/nodered/scripts/install_devtools.sh
new file mode 100644
index 0000000..d3e1e0b
--- /dev/null
+++ b/nodered/scripts/install_devtools.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+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
+else
+  echo "Skip installing devtools"
+fi