this means using as many processes as there are CPUs, right? It seems pretty
Right, but only for gnattools, which is a relatively short time, and
which always occurs at the end of the build (so with nothing else
running at the same time).
dubious to me to use more processes than the user maybe asked for. For example
I have to restrict the number of CPUs used when building GCC to less than I have
since otherwise my machine overheats and turns itself off. Is there some way
to get at the -j level the user passed to the top-level make and use that?
No, I'm not aware of a way to get this information.