allow the max number of workers to scale with +RTS -N
authorSimon Marlow <simonmar@microsoft.com>
Fri, 16 Jun 2006 14:06:33 +0000 (14:06 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Fri, 16 Jun 2006 14:06:33 +0000 (14:06 +0000)
commitc58450c0c62dc9bf74ecd5df3c07a3f1ce511e7f
tree1edf56fb7ea2e25a80136101b1cbfb66503f1a4c
parentea0c9fbe3128dfabcdbc38ed787cf76346c0a871
allow the max number of workers to scale with +RTS -N
rts/Task.c