Hi,

I rencently reported a problem for field splitting in /bin/sh. This
was promptly fixed by christos (thanks a lot for looking at this).

But now, i hit some other problems; especially with shell scripts
command line, where arguments seems duplicated :

njoly@lanfeust [tmp/sh]> cat foo.sh 
#! /bin/sh
echo ${1+"$@"}
njoly@lanfeust [tmp/sh]> ./sh.new foo.sh a b c
a b c b c
njoly@lanfeust [tmp/sh]> ./sh.old foo.sh a b c
a b c

Thanks in advance,
Regards.

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.