diff options
Diffstat (limited to 'docs/markdown/snippets/custom_target_console_pool.md')
| -rw-r--r-- | docs/markdown/snippets/custom_target_console_pool.md | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docs/markdown/snippets/custom_target_console_pool.md b/docs/markdown/snippets/custom_target_console_pool.md deleted file mode 100644 index 8b9bb3442..000000000 --- a/docs/markdown/snippets/custom_target_console_pool.md +++ /dev/null @@ -1,13 +0,0 @@ -## New kwarg `console` for `custom_target()` - -This keyword argument conflicts with `capture`, and is meant for -commands that are resource-intensive and take a long time to -finish. With the Ninja backend, setting this will add this target to -[Ninja's `console` -pool](https://ninja-build.org/manual.html#_the_literal_console_literal_pool), -which has special properties such as not buffering stdout and -serializing all targets in this pool. - -The primary use-case for this is to be able to run external commands -that take a long time to exeute. Without setting this, the user does -not receive any feedback about what the program is doing. |