On Fri, Jul 20, 2018 at 11:09:13AM -0400, Tom Lane wrote: > Victor Wagner <vi...@wagner.pp.ru> writes: > > Tom Lane <t...@sss.pgh.pa.us> wrote: > >> Please send a patch. Most of us do not have access to old shells > > > Here it goes. Previous letter was written before fixed tests were > > completed, because this old machine is slow. > > Thanks. Will check on my own dinosaurs, and push if I don't find > a problem.
I'd say the right way to fix this is the one specified in https://www.gnu.org/software/autoconf/manual/autoconf-2.69/html_node/The-Make-Macro-SHELL.html, in particular: Using @SHELL@ means that your makefile will benefit from the same improved shell, such as bash or ksh, that was discovered during configure, so that you aren't fighting two different sets of shell bugs between the two contexts. The Solaris 10 /bin/sh can't even run most of "configure", but Solaris 10 also provides /bin/ksh and /usr/xpg4/bin/sh with the usual modern features. ("configure" works on Solaris 10 by finding a good shell and re-execing itself.) Maintaining shell scripts to an even lower common denominator than Autoconf would be a good deal less reliable.