number of threads for lake build

Stream: lean4

[Floris van Doorn]

Is there a way to specify the number of cores lake build is allowed to use (similar to -j in make)?
Reason: On my office computer, when running lake build on Mathlib, all other programs start to lag/be unresponsive
(This is on Debian GNU/Linux 11 (bullseye), with GUI LXQt)

[Henrik Böving]

$ export LEAN_NUM_THREADS=number
$ lake build

[Floris van Doorn]

Thanks!