On Sunday 13 of December 2015 20:07:59 Paul Eggert wrote:
> On 12/10/2015 05:55 AM, Pavel Raiskup wrote:
> > Is this issue worth documenting in Shellology section
> > withing autoconf.info? This probably should be fixed somehow in libtool,
> > but I'm not yet sure what is the proper way.
>
> It should be documented.
>
> I suggest changing Autoconf and Libtool to recommend and use just the
> "$@" form. This is because the shells that mishandled "$@" are now
> museum pieces and are no longer worth worrying about porting to, whereas
> the shells that mishandle ${1+"$@"} are still in use.
If libtool/configure was able to throw fatal error very soon for such
museum shell, I would agree. Something which would encourage end-user to
obtain a bit newer shell.. And such check should be probably documented
too?
Pavel