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