Rosen Matev 9f76961de8 Support job pools in custom commands and targets ...

Provide a way for custom commands and targets to set the pool variable
of the ninja build statement. Setting `JOB_POOL` is not compatible with
`USES_TERMINAL`, which implies the `console` pool.

The option is silently ignored with other generators.

Closes: #18483

2019-05-14 15:58:00 +02:00

6.5 KiB

Raw Blame History

View Raw