> That is a corner of portable sh programming I'm not really familiar
> with. I guess what matters in the Hurd and GNU context is to stay
> compatible with, in some order
The canonical portable form is:
${1+"$@"}
That is wholly portable. Probaby ${@+"$@"} is too, but ${1+"$@"}
is used portably all over the place in GNU shell scripts.