Changes between Initial Version and Version 1 of Ticket #707, comment 12


Ignore:
Timestamp:
May 1, 2014, 12:11:44 PM (11 years ago)
Author:
Peter Baumann

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #707, comment 12

    initial v1  
    1 hm, didn't we have 2 switches, for debug and timing (--enable-benchmark)? Mixing both (i) generates tons of output, hard to analyze and (ii) slows down performance due to the large log activity.
     1hm, we we have 2 switches, for debug and timing (--enable-benchmark), why not use them in this sense. Mixing both (i) generates tons of output, hard to analyze and (ii) slows down performance due to the large log activity.
    22So suggesting to output all timers with --enable-benchmark.