[m-rev.] for post-commit review: get tools/make_optimization_options to update compiler/options.m

[Zoltan Somogyi]

On 2023-08-18 14:00 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com> wrote:
>> They both work. If I used -f, you could ask why I didn't redirect
>> to /dev/null :-)
> 
> Let me reword that to: why did you not use the shorter from? ;-)

Just to be clear: you are asking me to type more to explain
why I didn't type less?

The answer is the same as the answer to all similar questions:
because it seemed like a good idea at the time.

Zoltan.