]> git.ipfire.org Git - thirdparty/openwrt.git/commit
projects / thirdparty / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7c54f3) | patch
tools/ninja: update to 1.13.1 20267/head
authorRosen Penev <rosenp@gmail.com>
Mon, 29 Sep 2025 18:45:23 +0000 (11:45 -0700)
committerHauke Mehrtens <hauke@hauke-m.de>
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 <rosenp@gmail.com>
Link: https://github.com/openwrt/openwrt/pull/20267
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
tools/ninja/Makefile diff | blob | blame | history
tools/ninja/patches/001-backport-gtest.patch [deleted file] blob | blame | history
tools/ninja/patches/010-bootstrap-configure-only.patch diff | blob | blame | history
tools/ninja/patches/100-make_jobserver_support.patch [deleted file] blob | blame | history
Mirror of https://github.com/openwrt/openwrt.git