added --with-production in help
authorGengbin Zheng <gzheng@gzheng-desktop.(none)>
Fri, 12 Feb 2010 01:42:18 +0000 (19:42 -0600)
committerGengbin Zheng <gzheng@gzheng-desktop.(none)>
Fri, 12 Feb 2010 01:42:18 +0000 (19:42 -0600)
build

diff --git a/build b/build
index a5b2ade256b4f0a425f485a9bfc545fd34766927..6c981354ea55be29295665561f1f6cc27cbaf4a4 100755 (executable)
--- a/build
+++ b/build
@@ -89,6 +89,7 @@ syntax() {
   echo '  --basedir=DIR             shortcut for the above two - DIR/include and DIR/lib'
   echo '  -j[N]              parallel make, N is the number of paralle make jobs'
   echo "  --with-romio       build AMPI with ROMIO library"
+  echo "  --with-production  build Charm++ with CMK_OPTIMIZE"
   echo "  --destination=DIR  build Charm++ inside DIR, by default the destination is <version>"
   echo "  --suffix=DIR       append DIR to the destination directory of the Charm++ build"
   echo "  --tau-makefile=FILE Specify which TAU stub makefile to use"