Joe Buck wrote: > So the amended suggestion is to fix -Wcomment to shut up about continued > comments that don't matter, and also to add the new -f option to switch > the handling of spaces-at-the-end.
I think your proposal, as amended, is the right approach. I generally don't much like new command-line options, but I agree that this is a situation in which both sides have valid points, there's legacy code around that depends on both behaviors, and having a switch makes sense. -- Mark Mitchell CodeSourcery, LLC [EMAIL PROTECTED] (916) 791-8304
