mirror of
https://github.com/LibreELEC/LibreELEC.tv.git
synced 2025-07-29 13:46:49 +00:00
config/options: remove unused variable DEVTOOLS
Signed-off-by: Matthias Reichl <hias@horus.com>
This commit is contained in:
parent
687982775f
commit
fcf1ea5d78
@ -99,11 +99,6 @@ fi
|
|||||||
. $HOME/.libreelec/options
|
. $HOME/.libreelec/options
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# install devtools on development builds
|
|
||||||
if [ -z "$DEVTOOLS" -a "$LIBREELEC_VERSION" = "devel" ]; then
|
|
||||||
DEVTOOLS=yes
|
|
||||||
fi
|
|
||||||
|
|
||||||
# overwrite OEM_SUPPORT via commandline
|
# overwrite OEM_SUPPORT via commandline
|
||||||
if [ "$OEM" = yes -o "$OEM" = no ]; then
|
if [ "$OEM" = yes -o "$OEM" = no ]; then
|
||||||
OEM_SUPPORT=$OEM
|
OEM_SUPPORT=$OEM
|
||||||
|
Loading…
x
Reference in New Issue
Block a user