diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual.asciidoc b/doc/manual.asciidoc index 97d6772..674231c 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -425,6 +425,10 @@ before building the targets requested by the user. Pools ~~~~~ +*Note: pools were added as an experiment and may be removed in a future +version of Ninja. Are they useful for you? Let us know on the mailing +list.* + Pools allow you to allocate one or more rules or edges a finite number of concurrent jobs which is more tightly restricted than the default parallelism. |