jobs

Maximum number of concurrent jobs Dune is allowed to have.

(jobs <setting>)

where <setting> is one of:

• auto, auto-detect maximum number of cores. This is the default value.

• <number>, a positive integer specifying the maximum number of jobs Dune may use simultaneously.

This setting can also be controlled via the -j command-line option or the DUNE_JOBS environment variable. The command-line option takes precedence over the environment variable, which takes precedence over the configuration file.