diff --git a/config/options b/config/options index 2fcb8a55cc..a438f96e87 100644 --- a/config/options +++ b/config/options @@ -144,6 +144,11 @@ if [ "${OEM}" = "yes" -o "${OEM}" = "no" ]; then OEM_SUPPORT="${OEM}" fi +# use /bin/dash as config shell if installed on the build host +if [ -z "${CONFIG_SHELL}" ] && [ -x "/bin/dash" ]; then + export CONFIG_SHELL="/bin/dash" +fi + check_config . config/graphic diff --git a/config/show_config b/config/show_config index d1da4dac05..fd29a40ad5 100644 --- a/config/show_config +++ b/config/show_config @@ -39,6 +39,7 @@ show_config() { config_message+="\n - CFLAGS:\t\t\t\t ${TARGET_CFLAGS}" config_message+="\n - LDFLAGS:\t\t\t\t $(sed 's/^ *//' <<< ${TARGET_LDFLAGS})" config_message+="\n - Local Ccache:\t\t\t ${LOCAL_CCACHE:-no}" + config_message+="\n - CONFIG_SHELL:\t\t\t ${CONFIG_SHELL:-auto}" # Misc. hardware configuration