summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2020-04-18 06:11:33 -0700
committerKaz Kylheku <kaz@kylheku.com>2020-04-18 06:11:33 -0700
commit51fe92c237f13782507081457872d5ab6e7740cc (patch)
tree2882a200acda58f843d9ae72e8fd3983d29ea1da
parent3c0f686162cfd3bd04feec24d687a5610f921d01 (diff)
downloadtxr-51fe92c237f13782507081457872d5ab6e7740cc.tar.gz
txr-51fe92c237f13782507081457872d5ab6e7740cc.tar.bz2
txr-51fe92c237f13782507081457872d5ab6e7740cc.zip
configure: include ksh in search.
* configure: everything works fine with ksh93, so let's add ksh to list of shell to look for.
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 8ba00895..75e1604e 100755
--- a/configure
+++ b/configure
@@ -61,6 +61,7 @@ while true ; do
for shell in "$CONFIG_SHELL" \
/bin/bash /usr/bin/bash /usr/local/bin/bash \
/bin/dash /usr/bin/dash /usr/local/bin/dash \
+ /bin/ksh /usr/bin/ksh /usr/local/bin/ksh \
/usr/xpg4/bin/sh
do
if test -x "$shell" ; then