I've added some caching, and now get:
$ time ./scripts/check-syntax -j8
real 0m49.048s user 5m40.278s sys 0m6.770s
« Back to merge proposal
I've added some caching, and now get:
$ time ./scripts/ check-syntax -j8
real 0m49.048s
user 5m40.278s
sys 0m6.770s