]> git.tuebingen.mpg.de Git - paraslash.git/blob - m4/gengetopt/log_timing.m4
The wma tagger.
[paraslash.git] / m4 / gengetopt / log_timing.m4
1 <qu>
2 option "log-timing" T
3 #~~~~~~~~~~~~~~~~~~~~
4 "show milliseconds in log messages"
5 flag off
6 details = "
7        Selecting this option causes milliseconds to be included in
8        the log message output. This allows to measure the interval
9        between log messages in milliseconds which is useful for
10        identifying timing problems.
11 "
12 </qu>