projects / IRC.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1a94b53)
bug fix
authorbdemsky <bdemsky>
Tue, 7 Apr 2009 22:35:37 +0000 (22:35 +0000)
committerbdemsky <bdemsky>
Tue, 7 Apr 2009 22:35:37 +0000 (22:35 +0000)
Robust/src/Runtime/garbage.c patch | blob | history

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index ec6c63401e35587892962afb28bc7e321b077dea..2039ee3aa81b2bb9e4252b45822a3a832c2f8fad 100644 (file)
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -439,7 +439,7 @@ void collect(struct garbagelist * stackptr) {
   fixtags();
 #endif
 
-#if defined(THREADS)||defined(DSTM)
+#if defined(THREADS)||defined(DSTM)||defined(STM)
   needtocollect=0;
   pthread_mutex_unlock(&gclistlock);
 #endif
Irvine Research Compiler