Daniel Jacobowitz wrote:

> You've escaped backslashes, but what about double quotes?  I assume
> this eventually goes to parse_string_property.  It's not immediately
> obvious, but the unescaping loop there will unescape both backslashes
> and double quotes (see print_string).

Thanks for the quick review; good catch.

Updated thusly, which, I confirmed, works for a filename containing both
a space and a double-quote on x86_64-unknown-linux-gnu.

OK to apply?

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713