Bernd Kuhls
3837c92d71
Release notes: https://github.com/ninja-build/ninja/releases
Version 1.13.0 added GNU Make jobserver support[1] so we switch back to
the official repo by partly reverting buildroot commit
227d7e0cba.
Comparing build times of mesa3d/iris between 1.13.2 and Kitware's latest
tag v1.13.0.gd74ef.kitware.jobserver-pipe-1 showed no difference on a
16c/32t machine with BR2_JLEVEL=0. The Kitware version adds pipe support
whose future is uncertain[2].
[1] https://github.com/ninja-build/ninja/releases/tag/v1.13.0
https://github.com/ninja-build/ninja/pull/2506
[2] https://github.com/ninja-build/ninja/pull/2506#issuecomment-2659944455
Signed-off-by: Bernd Kuhls <bernd@kuhls.net>
Signed-off-by: Julien Olivain <ju.o@free.fr>