Integrated the memory affinity settings into charm++
[charm.git] / build
diff --git a/build b/build
index 70e85b7c7caddfe75f34febc24baaf0d2c318391..029a7d1f24c237020d691183791320db601942bf 100755 (executable)
--- a/build
+++ b/build
@@ -300,6 +300,14 @@ do
                WITH_PRODUCTION="true" 
                shift
                ;;
+    --with-*)
+               CONFIG_OPTS="$CONFIG_OPTS $1"
+               shift
+               ;;
+    --without-*)
+               CONFIG_OPTS="$CONFIG_OPTS $1"
+               shift
+               ;;
     --build-shared|-bs)
                # obsolete, do nothing
                shift