[tex-live] Re: TeX Live UNIX shell scripts

[Thomas Esser]

>             ${1+"$@"}
>
> How about simply "$@" ?  Is that acceptably portable?

AFAIK, there are old broken shells which substitute an empty string for
"$@" if no arguments are set (instead of nothing). I have no idea if
this is still relevant these days, however.

Does anyone know a system / platforms where /bin/sh has this bug?
I guess that a broken system reports 1 for the following code:
  /bin/sh -c 'set x "$@"; shift; echo $#' sh

Thomas