diff --git a/config/options b/config/options
index e35229ef70..200b470747 100644
--- a/config/options
+++ b/config/options
@@ -82,11 +82,6 @@ fi
 # directory.
   CCACHE_CACHE_SIZE="10G"
 
-# install devtools on development builds
-  if [ "$LIBREELEC_VERSION" = "devel" ]; then
-    DEVTOOLS=yes
-  fi
-
 # read options from $HOME if available
   if [ -f "$HOME/.libreelec/options" ]; then
     . $HOME/.libreelec/options
@@ -100,6 +95,11 @@ fi
     . $HOME/.libreelec/options.$DISTRO
   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