-recoverystats

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 79cfb99dd8cd71af5a8c3cef613b534500075550..0e2d96d08a0e112306cfe1551d3eb14ef9e96324 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -434,6 +434,7 @@ DSMRECOVERY=true
 elif [[ $1 = '-recoverystats' ]]
 then
 JAVAOPTS="$JAVAOPTS -recoverystats"
+EXTRAOPTIONS="$EXTRAOPTIONS -DRECOVERYSTATS"
 elif [[ $1 = '-distributioninfo' ]]
 then
 JAVAOPTS="$JAVAOPTS -distributioninfo"