On Sat, 28 Jan 2017, Bob Friesenhahn wrote:
What does 'echo $SHELL' show for your login session?
It's /usr/bin/bash for this system (but I'm having /similar/, maybe related issues on a Solaris 11 with /bin/sh as login shell). I don't think the login shell is relevant, but the PATH tweak is the common denominator.
Dimitris P.S. I'm writing a report of the other issue on a separate thread. _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx https://lists.gnu.org/mailman/listinfo/autoconf
