437 |
echo='print -r' |
echo='print -r' |
438 |
elif (test -f /bin/ksh || test -f /bin/ksh$ac_exeext) && |
elif (test -f /bin/ksh || test -f /bin/ksh$ac_exeext) && |
439 |
test "X$CONFIG_SHELL" != X/bin/ksh; then |
test "X$CONFIG_SHELL" != X/bin/ksh; then |
440 |
# If we have ksh, try running ltconfig again with it. |
# If we have ksh, try running configure again with it. |
441 |
ORIGINAL_CONFIG_SHELL=${CONFIG_SHELL-/bin/sh} |
ORIGINAL_CONFIG_SHELL=${CONFIG_SHELL-/bin/sh} |
442 |
export ORIGINAL_CONFIG_SHELL |
export ORIGINAL_CONFIG_SHELL |
443 |
CONFIG_SHELL=/bin/ksh |
CONFIG_SHELL=/bin/ksh |