split garbage collector into three files...
authorbdemsky <bdemsky>
Fri, 15 Apr 2011 23:20:10 +0000 (23:20 +0000)
committerbdemsky <bdemsky>
Fri, 15 Apr 2011 23:20:10 +0000 (23:20 +0000)
commite6f782d8a5f62830f4fe7239118668171f048f39
tree3042f67d7cd92ce9e8f05fd91e2ca6ca6f4494a0
parent0937ce0a7db548ea465f032003abf4aa76979916
split garbage collector into three files...
Robust/src/Runtime/garbage.c
Robust/src/Runtime/garbage.h
Robust/src/Runtime/jni/jni-stuff.c
Robust/src/Runtime/oojgarbage.c [new file with mode: 0644]
Robust/src/Runtime/taskgarbage.c [new file with mode: 0644]
Robust/src/Runtime/thread.c
Robust/src/Tests/dotest
Robust/src/buildscript