projects / openwrt / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7c54f3) | patch
tools/ninja: update to 1.13.1
authorRosen Penev <[email protected]>
Mon, 29 Sep 2025 18:45:23 +0000 (11:45 -0700)
committerHauke Mehrtens <[email protected]>
Sat, 4 Oct 2025 18:34:38 +0000 (20:34 +0200)
commit2dae098d69324a3781ed8e1beea92afb3b233b69
treeca23f44a29f600aac883afcda5a36cddeaaf6262tree | snapshot
parentc7c54f313425d8f05203d141d056a104ee05c512commit | diff
tools/ninja: update to 1.13.1

Jobserver support was merged upstream.

Switch to local tarball archives. Smaller and more standard.

Signed-off-by: Rosen Penev <[email protected]>
Link: https://github.com/openwrt/openwrt/pull/20267
Signed-off-by: Hauke Mehrtens <[email protected]>
tools/ninja/Makefile diff | blob | history
tools/ninja/patches/001-backport-gtest.patch [deleted file] blob | history
tools/ninja/patches/010-bootstrap-configure-only.patch diff | blob | history
tools/ninja/patches/100-make_jobserver_support.patch [deleted file] blob | history
OpenWrt Source Repository