small polishing.
This commit is contained in:
parent
55b33e5597
commit
8f5c3b9ad7
|
@ -293,8 +293,7 @@ for name in filenames:
|
||||||
if options.verbose:
|
if options.verbose:
|
||||||
bg.stop()
|
bg.stop()
|
||||||
bg.join()
|
bg.join()
|
||||||
|
damask.util.croak("{} seconds total.\n{} local and {} global matches.".\
|
||||||
if options.verbose: damask.util.croak("{} seconds total.\n{} local and {} global matches.".\
|
|
||||||
format(time.clock()-tick,statistics['local'],statistics['global']))
|
format(time.clock()-tick,statistics['local'],statistics['global']))
|
||||||
|
|
||||||
# --- generate header ----------------------------------------------------------------------------
|
# --- generate header ----------------------------------------------------------------------------
|
||||||
|
|
Loading…
Reference in New Issue