summaryrefslogtreecommitdiffstats
path: root/configure
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
commit7a2e3b99fa181385c8aff9cced40ff46602daf4d (patch)
tree2882a200acda58f843d9ae72e8fd3983d29ea1da /configure
parentd2bdf58f902a774a11ae2f065561a759a054904e (diff)
downloadtxr-7a2e3b99fa181385c8aff9cced40ff46602daf4d.tar.gz
txr-7a2e3b99fa181385c8aff9cced40ff46602daf4d.tar.bz2
txr-7a2e3b99fa181385c8aff9cced40ff46602daf4d.zip
configure: include ksh in search.
* configure: everything works fine with ksh93, so let's add ksh to list of shell to look for.
Diffstat (limited to 'configure')
-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