> With HJ's patch, 'echo d|c++filt -s gnu-v3' would say 'double', which is > undesirable. Agreed, both that this is bad, and that putting "d" on the command-line should demangle to "double". FWIW, -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com