Re: Portability problem

[Paul Eggert]

Thanks for doing that patch, Bruno.

I also replied at <https://bugs.gnu.org/63067> in the perhaps vain hope 
that we needn't worry about using Solaris 10 /bin/sh to run 'configure' 
or Makefile snippets.