From fa1e194c72981de80e6c2e10144dd4d699b41d6b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 6 Jul 2011 10:30:52 +0000
Subject: [PATCH] add pmc option

---
 Robust/src/IR/State.java  | 1 +
 Robust/src/Main/Main.java | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index c4016aa9..e5799435 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -176,6 +176,7 @@ public class State {
   // Bamboo options
   public boolean MULTICORE=false;
   public boolean MULTICOREGC=false;
+  public boolean PMC=false;
   public boolean BAMBOOCOMPILETIME = false;
   public boolean ARRAYBOUNDARYCHECK=true;
   public boolean RAW=false;
diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d48ad48b..026c2cfd 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -156,6 +156,8 @@ public class Main {
         state.MULTICORE=true;
       else if (option.equals("-multicoregc"))
         state.MULTICOREGC=true;
+      else if (option.equals("-pmc"))
+        state.PMC=true;
       else if (option.equals("-mgc")) {
         state.MGC = true;
       } else if (option.equals("-objectlockdebug")) {
-- 
2.34.1