On Thu, 30 Oct 2014, Masao Uebayashi wrote:
What do you expect by doing: options FOO no options FOO options FOO
I expect it to be equivalent to just one "options FOO".The "no options FOO" in line 2 should cancel the "options FOO" in line 1, and then the "options FOO" in line 3 should put it back.
In the cases that I care about, the "options" and "no options" lines will be in different files, referenced via "include" directives.
--apb (Alan Barrett)