//static const char* CROSSGEN_OPT_PARALLELISM_COUNT = "5";
static const char* CROSSGEN_OPT_RESILIENT = "--resilient";
static const char* CROSSGEN_OPT_OPTIMIZE = "-O";
+static const char* CROSSGEN_OPT_OPTIMIZE_TIME = "--Ot";
static const char* CROSSGEN_OPT_INPUTBUBBLE = "--inputbubble";
static const char* CROSSGEN_OPT_COMPILE_BUBBLE_GENERICS = "--compilebubblegenerics";
static const char* CROSSGEN_OPT_VERBOSE = "--verbose";
//args.push_back(OPT_PARALLELISM_COUNT);
args.push_back(CROSSGEN_OPT_RESILIENT);
- args.push_back(CROSSGEN_OPT_OPTIMIZE);
+ args.push_back(CROSSGEN_OPT_OPTIMIZE_TIME);
if (opt->flags & NI_FLAGS_INPUT_BUBBLE) {
args.push_back(CROSSGEN_OPT_INPUTBUBBLE);