On 06/10/2019 21.33, Rasmus Villemoes wrote: > On 04/10/2019 18.08, Kees Cook wrote: >> The best solution would be to teach sphinx-build about the Make >> jobserver, though I expect that would be weird. Another idea would be to >> hold the reservation until sphinx-build finishes and THEN return the >> slots? That would likely need to change from a utility to a sphinx-build >> wrapper... > > Yes, a more general solution would be some kind of generic wrapper that > would hog however many tokens it could get hold of and run a given > command with a commandline slightly modified to hand over those tokens - > then wait for that process to exit and give back the tokens. That would > work for any command that knows about parallelism but doesn't support > the make jobserver model. On the off-chance that anybody cares I tried implementing that, because I've wanted something like that to make "ninja" play nice when invoked from Make for a long time. Rough sketch at https://github.com/Villemoes/jobhog . Rasmus