darcs patch: Pass additional parameters in generated shell scripts

[Ross Paterson]

On Sun, May 16, 2010 at 08:30:25PM +0100, Ian Lynagh wrote:
> On Sun, May 16, 2010 at 08:17:26PM +0200, Matthias Kilian wrote:
> > 
> > -         ++ quote path ++ concatMap (\arg -> ' ':quote arg) args ]
> > +         ++ unwords (map quote $ path : args) ++ " \"$@\""]
> 
> This looks liks it ought to be " ${1+\"$@\"}" rather than " \"$@\"", to
> correctly handle the case where there are no additional parameters.

"$@" is supposed to also work in that case.