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