Re: -print-* command-line switches misbehave or are misdocumented Why not just fix it, if not document the way it works, cutsie, "its a developer feature" fools no one and just hands ammunition to the anti Linux and GNU camp, they read these lists too!
-- Greetings Brian