1 files changed, 10 insertions, 0 deletions
diff --git a/cpp/src/slice2freezej/Main.cpp b/cpp/src/slice2freezej/Main.cpp
index 6cfa614db7d..b06ce6efeab 100644
--- a/cpp/src/slice2freezej/Main.cpp
+++ b/cpp/src/slice2freezej/Main.cpp
@@ -308,6 +308,7 @@ usage(const char* n)
         "                      option may be specified multiple times for\n"
         "                      different names. NAME may be a scoped name.\n"
         "--output-dir DIR      Create files in the directory DIR.\n"
+	"--ice                 TBD.\n"
         "-d, --debug           Print debug messages.\n"
         ;
 }
@@ -462,6 +463,15 @@ main(int argc, char* argv[])
             }
             argc -= 2;
         }
+        else if(strcmp(argv[idx], "--ice") == 0)
+        {
+	    // TBD
+            for(int i = idx ; i + 1 < argc ; ++i)
+            {
+                argv[i] = argv[i + 1];
+            }
+            --argc;
+        }
         else if(argv[idx][0] == '-')
         {
             cerr << argv[0] << ": unknown option `" << argv[idx] << "'" << endl;