rename thread switch so we can control it from our configure script
authorstefan <none@none>
Sat, 26 Jun 2004 12:43:29 +0000 (12:43 +0000)
committerstefan <none@none>
Sat, 26 Jun 2004 12:43:29 +0000 (12:43 +0000)
commit39e34012ef8a0ab87319396a9039afba32b068e0
tree92aad5989b93aa9eabeee8936656865ff40aa9d0
parent1a763dabe025804e92efd2eab379340be3514a8b
rename thread switch so we can control it from our configure script
mm/boehm-gc/configure.in
src/boehm-gc/configure.in