diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2020-04-18 06:11:33 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2020-04-18 06:11:33 -0700 |
commit | 51fe92c237f13782507081457872d5ab6e7740cc (patch) | |
tree | 2882a200acda58f843d9ae72e8fd3983d29ea1da | |
parent | 3c0f686162cfd3bd04feec24d687a5610f921d01 (diff) | |
download | txr-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-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |