From 0902e8919fb36fb899102cf65d67569cca8b0abe Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 1 Mar 2011 05:39:54 +0000
Subject: [PATCH] changes...

---
 Robust/src/IR/Flat/BuildCode.java | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index baf08966..3d007057 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -608,6 +608,7 @@ public class BuildCode {
     }
     if(state.MGC) {
       outclassdefs.println("  int mutex;");
+      outclassdefs.println("  volatile int notifycount;");
       outclassdefs.println("  int objlock;");
       if(state.MULTICOREGC) {
 	outclassdefs.println("  int marked;");
@@ -663,6 +664,7 @@ public class BuildCode {
       }
       if(state.MGC) {
 	outclassdefs.println("  int mutex;");
+	outclassdefs.println("  volatile int notifycount;");
 	outclassdefs.println("  int objlock;");
 	if(state.MULTICOREGC) {
 	  outclassdefs.println("  int marked;");
@@ -1411,10 +1413,13 @@ public class BuildCode {
       classdefout.println("  void * lockentry;");
       classdefout.println("  int lockcount;");
     }
-    classdefout.println("  int mutex;");
-    classdefout.println("  int objlock;");
-    if(state.MULTICOREGC) {
-      classdefout.println("  int marked;");
+    if (state.MGC) {
+      classdefout.println("  int mutex;");
+      classdefout.println("  volatile int notifycount;");
+      classdefout.println("  int objlock;");
+      if(state.MULTICOREGC) {
+	classdefout.println("  int marked;");
+      }
     }
     if (state.TASK) {
       classdefout.println("  int flag;");
-- 
2.34.1