[project @ 2002-05-11 13:58:18 by sof]
authorsof <unknown>
Sat, 11 May 2002 13:58:18 +0000 (13:58 +0000)
committersof <unknown>
Sat, 11 May 2002 13:58:18 +0000 (13:58 +0000)
commit263ebdd8046016518a79f809a22a070e617ce652
tree24da265970a6cf4eea74eaff931fa587c98420a5
parente375e4a482ec9bb197c013bb015bff810e06ec4b
[project @ 2002-05-11 13:58:18 by sof]
Have createThread() use a separate mutex to ensure unique
allocation of ThreadIds. A less-than-light solution, but
cleaner than trying to reuse sched_mutex for this purpose.
ghc/rts/Schedule.c