pgsql-bugs@postgresql.org writes:
> The root cause of this problem is that the script interpreter for the
> configure script is /bin/sh. The configure script is NOT a /bin/sh
> compatible script. It requires GNU BASH to execute properly.
Hardly, considering that I don't have GNU BASH installed at all here ;-)
There may well be something in the script that is not perfectly
portable, but if so, please tell us exactly what, so we can fix it.
"Use GNU BASH" is not a portable answer either --- we will most
certainly not put anything in the script to deliberately prevent it
from working on non-BASH shells.
regards, tom lane
