[m-rev.] for review: set optimization options just once

[Julien Fischer]

On Sun, 11 Oct 2020, Zoltan Somogyi wrote:

> 2020-10-11 15:45 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> On Sun, 11 Oct 2020, Zoltan Somogyi wrote:
>>
>>> For review by Julien, since it is an attempt to fix a bug he reported,
>>> Mantis 522. The optimization improvement mentioned in the log message
>>> has bootchecked, but I haven't tried it out on this code yet.
>>
>> I will try it out after you commit.
>
> I am pretty sure that this diff won't fix 522 by itself, but it will do so
> *after* a diff I will post later today is not just committed but also installed.
> So there is no point in your trying it tonight; try it tomorrow.

Fair enough.  You can ignore the other diff I just posted, I won't commit 
it.

Julien.