make this work with MGC

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index a47d9cd0b8ca38b8e2478aa38dc31e3939482a8f..3cdfa65bbdd6c1625cd58bfe6e4e9cf40b2519dc 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -426,6 +426,7 @@ long long CALL00(___System______currentTimeMillis____) {
   return retval;
 }
 
+#ifdef D___System______gc____
 void CALL00(___System______gc____) {
 #if defined(THREADS)||defined(DSTM)||defined(STM)||defined(MLP)
   while (pthread_mutex_trylock(&gclock)!=0) {
@@ -475,6 +476,7 @@ void CALL00(___System______gc____) {
   pthread_mutex_unlock(&gclock);
 #endif
 }
+#endif
 
 long long CALL00(___System______microTimes____) {
   struct timeval tv;