[project @ 2002-02-15 07:40:10 by sof]
authorsof <unknown>
Fri, 15 Feb 2002 07:40:10 +0000 (07:40 +0000)
committersof <unknown>
Fri, 15 Feb 2002 07:40:10 +0000 (07:40 +0000)
commit22da500cc55d61e18ae3d8854ff58ca3a2252fa1
tree608a0a0c3792296eb9248608401613fd37f4211b
parent9b7c000a446c1ebb9c0f9f14fb26cabe6de7f489
[project @ 2002-02-15 07:40:10 by sof]
Use scheduleExtThread() (see 20020214 commit msg for SchedAPI.h for details)
ghc/rts/RtsAPI.c