[m-rev.] for review: optimization_options.m

[Zoltan Somogyi]

2020-09-28 23:43 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
> Something is broken with this; the stage 2 library no longer builds.

Sorry. I found and fixed the problem before your email,
but forgot to push the fix.

This fix still leaves about half a dozen failures of debug tests.
I have a fix that works for one, and a bootcheck is now testing
for the others.

Zoltan.