Also, it seems odd to add a new field to cpp_options without any code in 
libcpp that uses the value of that field.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to