From d94e2a079a67536699d1b1338605f0de60654088 Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Mon, 11 Jan 2010 10:54:50 +0000
Subject: [PATCH] change

---
 Robust/src/Main/Main.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ed7b5cf5..9eefae23 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -219,6 +219,8 @@ public class Main {
 	state.THREAD=true;
       else if (option.equals("-dsm"))
 	state.DSM=true;
+      else if (option.equals("-recoverystats"))
+  state.DSMRECOVERYSTATS=true;
       else if (option.equals("-dsmtask"))
   state.DSMTASK=true;
       else if (option.equals("-singleTM"))
@@ -292,7 +294,7 @@ public class Main {
 	sourcefiles.add(args[i]);
       }
     }
-
+    
     //add default classpath
     if (state.classpath.size()==1)
       state.classpath.add(ClassLibraryPrefix);
-- 
2.34.1