diff options
author | Evan Martin <martine@danga.com> | 2013-02-01 18:37:10 (GMT) |
---|---|---|
committer | Evan Martin <martine@danga.com> | 2013-02-01 18:37:10 (GMT) |
commit | 05736568b9a26599865dd7452e62f70ecdbc9e41 (patch) | |
tree | e640f45fdf045a68f1ad9b8fd88650d161be49b6 /doc | |
parent | 447f7050d062e8b22038ba203ca822ca10da93a6 (diff) | |
download | Ninja-05736568b9a26599865dd7452e62f70ecdbc9e41.zip Ninja-05736568b9a26599865dd7452e62f70ecdbc9e41.tar.gz Ninja-05736568b9a26599865dd7452e62f70ecdbc9e41.tar.bz2 |
mark pools as experimental in the docs
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 d51c0ce..6b1de9b 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -420,6 +420,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. |