From fcf1ea5d7888bd69782d6f7661583d7bd2b4bf36 Mon Sep 17 00:00:00 2001
From: Matthias Reichl <hias@horus.com>
Date: Fri, 27 Apr 2018 09:57:32 +0200
Subject: [PATCH] config/options: remove unused variable DEVTOOLS

Signed-off-by: Matthias Reichl <hias@horus.com>
---
 config/options | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/config/options b/config/options
index e432f1e560..9d66bb0d68 100644
--- a/config/options
+++ b/config/options
@@ -99,11 +99,6 @@ fi
     . $HOME/.libreelec/options
   fi
 
-# install devtools on development builds
-  if [ -z "$DEVTOOLS" -a "$LIBREELEC_VERSION" = "devel" ]; then
-    DEVTOOLS=yes
-  fi
-
 # overwrite OEM_SUPPORT via commandline
 if [ "$OEM" = yes -o "$OEM" = no ]; then
   OEM_SUPPORT=$OEM