Don't dump statistics unless in verbose mode.

This commit is contained in:
David Given 2022-08-01 22:01:18 +02:00
parent 3f64b7c8c1
commit fc0cdc0471

View file

@ -65,9 +65,11 @@ int main(int argc, char **argv)
if (nerrors == 0) if (nerrors == 0)
{ {
finishio(); finishio();
statistics();
if (verbose) if (verbose)
{
statistics();
hallverbose(); hallverbose();
}
} }
else else
{ {