search for: printstatist

...quot; to true - that's how the command line processing code does it. However, setting this variable in the JIT context fails to elicit the timer information coming out on stderr. :-( Earlier, I implemented an optional statistics display using calls to "EnableStatistics()" and "PrintStatistics()" at appropriate places in the JIT environment. This uses the same output file control mechanism as the timing info, and works fine. The difference is that the "PrintStatistics()" function is global - it knows about all the statistics being kept. The output to stderr works fi...