docker: Build patched ninja that supports jobserver.

Browse source

https://github.com/ninja-build/ninja/pull/1140

So that -jN actually uses N job slots even when using ninja.
Sadly this does not cover cargo, which is less of an issue.

...

This commit is contained in:

Arkadiusz Hiler 2023-07-31 21:12:30 +03:00

parent cdce0cd31a

commit 354a061c16

3 changed files with 2189 additions and 10 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

2156

docker/context/ninja-jobserver-client.patch Normal file

View file

File diff suppressed because it is too large Load diff