On 6/7/21 5:12 PM, Joseph Myers wrote:
Ah, thank you. That appears to be leftover code from prior experimentation and I failed to identify it as such when preparing the patch. I'll provide a revised patch.Also, it seems odd to add a new field to cpp_options without any code in libcpp that uses the value of that field.
Tom.