Searched refs:CONFIG_SHELL (Results 1 – 3 of 3) sorted by relevance
160 if test "x$CONFIG_SHELL" = x; then222 CONFIG_SHELL=$as_shell as_have_required=yes233 CONFIG_SHELL=$SHELL as_have_required=yes238 if test "x$CONFIG_SHELL" != x; then :239 export CONFIG_SHELL276 SHELL=${CONFIG_SHELL-/bin/sh}641 test "X$CONFIG_SHELL" != X/bin/ksh; then662 SHELL="$CONFIG_SHELL"664 ECHO="$CONFIG_SHELL $0 --fallback-echo"669 ECHO="$CONFIG_SHELL $0 --fallback-echo"[all …]
578 SHELL=\${CONFIG_SHELL-$SHELL}1066 SHELL=${CONFIG_SHELL-/bin/sh}1148 test "X$CONFIG_SHELL" != X/bin/ksh; then1152 CONFIG_SHELL=/bin/ksh1153 export CONFIG_SHELL1167 CONFIG_SHELL=$ORIGINAL_CONFIG_SHELL1168 export CONFIG_SHELL1169 SHELL="$CONFIG_SHELL"1171 ECHO="$CONFIG_SHELL [$]0 --fallback-echo"1176 ECHO="$CONFIG_SHELL [$]0 --fallback-echo"[all …]
311 Unfortunately, this technique does not work for `CONFIG_SHELL' due to314 CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash