Yaroslav Halchenko wrote: > > Patch attached that addresses most of the problem. However, due > > to the use of default values in the "help" output, the "--time" > > entry for the manpage actually displays the current (default) > > time!
Hm, I can't find that anymore, nor remember anything whatsoever about it — too many bugs and too long ago! Perhaps it one of these: https://codesearch.debian.net/search?q=%22Computation+time+statistics+output+file+name%22 Feel free to ignore it; if the package remains unreproducible it will become immediately obvious... Regards, -- ,''`. : :' : Chris Lamb `. `'` [email protected] / chris-lamb.co.uk `-
