disable control point in with-production.
authorGengbin Zheng <gzheng@illinois.edu>
Wed, 21 Jul 2010 23:52:15 +0000 (18:52 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Wed, 21 Jul 2010 23:52:15 +0000 (18:52 -0500)
build

diff --git a/build b/build
index 7bddf2c488db5daeef86632f84e8d211a69d9fce..e4427439d12e4cb74e0413d08ff0c5959c66ffe7 100755 (executable)
--- a/build
+++ b/build
@@ -563,7 +563,7 @@ then
     echo '#define CMK_OPTIMIZE 1' >> $ConvHeader
     # Prepend optimize so that an explicit -no-optimize still works
     OPTS="-optimize $OPTS"
-    CONFIG_OPTS="--disable-tracing --disable-charmdebug --disable-replay --disable-error-checking $CONFIG_OPTS"
+    CONFIG_OPTS="--disable-controlpoint --disable-tracing --disable-charmdebug --disable-replay --disable-error-checking $CONFIG_OPTS"
 fi
 
 # build with Tau