https://pantsbuild.org/ logo
b

better-park-26723

02/03/2016, 12:57 AM
So I thought I'd try my hand at fixing that… but what should the
default=
value be for
worker-count
when it's a dynamically computed value?