Re: [Patch, option handling] optc-gen.awk - support || in EnabledBy()

[Joseph Myers]

On Sun, 23 Nov 2014, Tobias Burnus wrote:

> Build on x86-64-gnu-linux with checking that the resulting options.c remains
> the same.
> OK for the trunk?

OK.

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