20 Nov
2019
20 Nov
'19
7:41 p.m.
On 11/20/19 4:34 PM, Daniel Henrique Barboza wrote:
On 11/20/19 3:32 PM, Ján Tomko wrote:
This shaves off 4 % of syntax-check runtime on my 8-core system, which is enough of a reason for me.
Around 10% increase on my system running 'make -j syntax-check'.
In time: *performance* increase. Did a few runs, on average these patches made syntax-check 10% faster for me (~11 seconds without, ~10 seconds with them). Thanks, DHB