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 /mpi/mpi.c | |
| 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.
Diffstat (limited to 'mpi/mpi.c')
0 files changed, 0 insertions, 0 deletions