From ef086b597d9762f1a669e08bcfd2a216b56d7c4d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 3 Aug 2010 08:13:26 +0000
Subject: [PATCH] error in buildscript

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

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index aac0f29b..1de6f6cc 100755
--- 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
-- 
2.34.1