-recoverystats

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 3e229d9fb554d5627ee18924e6cf39f6307a9c79..eb1d2658e67eb74b483d5fffbb5f76fc8849288f 100755 (executable)
--- 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"