diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2020-04-17 22:33:37 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2020-04-17 22:33:37 -0700 |
| commit | 3c0f686162cfd3bd04feec24d687a5610f921d01 (patch) | |
| tree | 2c2b31298ed1304d46e61f164f98dc7e99b3483f /mpi/mpi.h | |
| parent | ab3a0ff7212753b5df32b7afc836bb367fef6de0 (diff) | |
| download | txr-3c0f686162cfd3bd04feec24d687a5610f921d01.tar.gz txr-3c0f686162cfd3bd04feec24d687a5610f921d01.tar.bz2 txr-3c0f686162cfd3bd04feec24d687a5610f921d01.zip | |
configure: detect more good shells.
* configure: There is a clue in the PS2 and PS4 variables.
If these are present and have the values "> " and "+ "
the shell could be Dash or newer NetBSD Ash, which
got PS4 circa 2004. The Solaris XPG shell also has these.
Diffstat (limited to 'mpi/mpi.h')
0 files changed, 0 insertions, 0 deletions