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 | 7a2e3b99fa181385c8aff9cced40ff46602daf4d (patch) | |
tree | 2882a200acda58f843d9ae72e8fd3983d29ea1da /configure | |
parent | d2bdf58f902a774a11ae2f065561a759a054904e (diff) | |
download | txr-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-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 |