+ -DMIR_LINK_TIME_OPTIMIZATION=ON
While this is probably right, we ought to be explicit about which builds we want this optimization for (as it can slow things quite a bit).
I'd suggest not for the "normal" CI and developer builds where fast turnaround is desirable.
I think problems will be rare enough that enabling for autolanding would be fine as a final check. And for release.
Is that what happens?
(It also suggests the question of any compile-time optimizations we might want to enable.)
« Back to merge proposal
+ -DMIR_LINK_ TIME_OPTIMIZATI ON=ON
While this is probably right, we ought to be explicit about which builds we want this optimization for (as it can slow things quite a bit).
I'd suggest not for the "normal" CI and developer builds where fast turnaround is desirable.
I think problems will be rare enough that enabling for autolanding would be fine as a final check. And for release.
Is that what happens?
(It also suggests the question of any compile-time optimizations we might want to enable.)