From 467959fd58f77126b097eeebef1aebe4d6fa6017 Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Mon, 11 Jan 2010 10:54:37 +0000
Subject: [PATCH] -recoverystats

---
 Robust/src/buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 3e229d9f..eb1d2658 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -428,7 +428,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERY"
 DSMRECOVERY=true
 elif [[ $1 = '-recoverystats' ]]
 then
-EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERYSTATS"
+JAVAOPTS="$JAVAOPTS -recoverystats"
 elif [[ $1 = '-distributioninfo' ]]
 then
 JAVAOPTS="$JAVAOPTS -distributioninfo"
-- 
2.34.1