| Line 163... |
Line 163... |
Command_line command_line;
|
Command_line command_line;
|
command_line.process(argc - 1, const_cast<const char**>(argv + 1));
|
command_line.process(argc - 1, const_cast<const char**>(argv + 1));
|
|
|
Timer timer;
|
Timer timer;
|
if (command_line.options().stats())
|
if (command_line.options().stats())
|
|
{
|
timer.start();
|
timer.start();
|
|
set_parameters_timer(&timer);
|
|
}
|
|
|
// Store some options in the globally accessible parameters.
|
// Store some options in the globally accessible parameters.
|
set_parameters_options(&command_line.options());
|
set_parameters_options(&command_line.options());
|
|
|
// Do this as early as possible (since it prints a welcome message).
|
// Do this as early as possible (since it prints a welcome message).
|
| Line 250... |
Line 253... |
if (command_line.options().print_output_format())
|
if (command_line.options().print_output_format())
|
print_output_format();
|
print_output_format();
|
|
|
if (command_line.options().stats())
|
if (command_line.options().stats())
|
{
|
{
|
Timer::TimeStats elapsed = timer.get_elapsed_time();
|
timer.stamp(2);
|
|
Timer::TimeStats elapsed = timer.get_pass_time(0);
|
|
fprintf(stderr,
|
|
_("%s: initial tasks run time: " \
|
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)\n"),
|
|
program_name,
|
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000,
|
|
elapsed.sys / 1000, (elapsed.sys % 1000) * 1000,
|
|
elapsed.wall / 1000, (elapsed.wall % 1000) * 1000);
|
|
elapsed = timer.get_pass_time(1);
|
|
fprintf(stderr,
|
|
_("%s: middle tasks run time: " \
|
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)\n"),
|
|
program_name,
|
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000,
|
|
elapsed.sys / 1000, (elapsed.sys % 1000) * 1000,
|
|
elapsed.wall / 1000, (elapsed.wall % 1000) * 1000);
|
|
elapsed = timer.get_pass_time(2);
|
|
fprintf(stderr,
|
|
_("%s: final tasks run time: " \
|
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)\n"),
|
|
program_name,
|
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000,
|
|
elapsed.sys / 1000, (elapsed.sys % 1000) * 1000,
|
|
elapsed.wall / 1000, (elapsed.wall % 1000) * 1000);
|
|
elapsed = timer.get_elapsed_time();
|
fprintf(stderr,
|
fprintf(stderr,
|
_("%s: total run time: " \
|
_("%s: total run time: " \
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)\n"),
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)\n"),
|
program_name,
|
program_name,
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000,
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000,
|
