Merge pull request #3659 from cbgbt/cli-elapsed

cli: Only print elapsed time on OUTPUT_STANDARD.
This commit is contained in:
Salvatore Sanfilippo 2017-06-20 16:53:56 +02:00 committed by GitHub
commit 0a03187ac4

View File

@ -1353,7 +1353,9 @@ static void repl(void) {
}
elapsed = mstime()-start_time;
if (elapsed >= 500) {
if (elapsed >= 500 &&
config.output == OUTPUT_STANDARD)
{
printf("(%.2fs)\n",(double)elapsed/1000);
}
}