Re: [Google] Put time profiling under param, disable by default

2014-10-12 Thread Xinliang David Li
ok. David On Sun, Oct 12, 2014 at 2:59 PM, Teresa Johnson wrote: > Guard the new time profiling under a parameter, off by default for Google > since it isn't used and the extra instrumentation was adding bloat. > > Enabled time profiling for two test cases that explicitly test it. > > For func_r

[Google] Put time profiling under param, disable by default

2014-10-12 Thread Teresa Johnson
Guard the new time profiling under a parameter, off by default for Google since it isn't used and the extra instrumentation was adding bloat. Enabled time profiling for two test cases that explicitly test it. For func_reorder_gold_plugin_1.C the change in instrumentation had an effect on the orde