error in buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index aac0f29b62832cf788ad8f067d960058aa87d3fb..1de6f6cc075c7b5b8ceae8379a81c18b28942ed5 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -19,7 +19,7 @@ echo
 echo OOOJava options
 echo -coreprof turn on profiling API
 echo -ooojava numberofcores maxseseage
-echo -mlp <num cores> <max sese age> build mlp code
+echo "-mlp <num cores> <max sese age> build mlp code"
 echo -mlpdebug if mlp, report progress and interim results
 echo
 echo DSM options