erroneous yacc script

[EXCOFFIER, Denis \(CS SYSTEMES INFORMATION\)]

Hello,

I use bison-2.3a on a solaris 2.8 system, with the GNU make 3.81, and i found 
out that the generated yacc program contains:

#! /bin/sh
exec '...my_prefix_path.../bin/bison' -y ""

instead of the (IMHO) correct

#! /bin/sh
exec '...my_prefix_path.../bin/bison' -y "$@"


Of course, with an easy modification in src/Makefile.in (line 660, replace $$@ 
with $$""@), i was able to change this. However, i suspect something wrong in 
my configuration because i don't understand why this had not been 
reported/corrected before. For example, the yacc program included in the latest 
cygwin installation (built from bison-2.3 with no modification) has the correct 
"$@" string. Apparently, this behaviour is there since at least bison-2.0.

Any help/inputs/pointers?

Regards.

Denis Excoffier.

This e-mail is intended only for the above addressee. It may contain privileged 
information.
If you are not the addressee you must not copy, distribute, disclose or use any 
of the information in it. 
If you have received it in error please delete it and immediately notify the 
sender.
Security Notice: all e-mail, sent to or from this address, may be accessed by 
someone other than the recipient, for system management and security reasons. 
This access is controlled under Regulation of security reasons.
This access is controlled under Regulation of Investigatory Powers Act 2000, 
Lawful Business Practises.