diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2020-04-18 08:11:37 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2020-04-18 08:11:37 -0700 |
| commit | e463e4551c9aacec4cb11b468108516c5d3d47cf (patch) | |
| tree | c008e248937b5c1a0b075090292c0fea38ead500 /mpi/mpi.c | |
| parent | 51fe92c237f13782507081457872d5ab6e7740cc (diff) | |
| download | txr-e463e4551c9aacec4cb11b468108516c5d3d47cf.tar.gz txr-e463e4551c9aacec4cb11b468108516c5d3d47cf.tar.bz2 txr-e463e4551c9aacec4cb11b468108516c5d3d47cf.zip | |
configure: simplify shell viability test.
* configure: the golden trick is simply to test
whether PS4 contains "+ ". PS2 is not a useful variable,
because even crappy old 1980's vintage System V shells
set that up. It turns out that Zsh in POSIX mode (when run as
/bin/sh) handles configuring and building TXR just fine.
And Zsh does set PS4 to "+ " in that mode. However, it
does not set PS2, unless run interactively. When run
interactively as /bin/sh, Zsh sets PS2 to "> ".
So, let us drop the Bash variable tests, and the test
for PS2 being "> " and only test PS4.
Diffstat (limited to 'mpi/mpi.c')
0 files changed, 0 insertions, 0 deletions