> On 17 Jan 2023, at 22:31, Mike Frysinger via Binutils wrote: > > not sure where to send this, or where the configs live ... > It's all in https://sourceware.org/git/builder.git builder/master.cfg. > can someone add the -O option to make ? it helps greatly when things > are run in parallel which the builders do as it keeps output from jobs > from being interleaved. This should be done already in https://sourceware.org/git?p=builder.git;a=commit;h=05fecee477e44f9d0952a399d344b53400ffb124 and some followups from mjw to handle older make. Let us know if something more needs doing. I totally agree it's a great QoL improvement. Best, sam