diff options
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index e74eff61c44..9437dff913f 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -1496,9 +1496,7 @@ sub action_info { $endsec -= 1; $endmsec += 1000000; } - print STDERR "start $startsec $startmsec\n"; - print STDERR "end $endsec $endmsec\n"; - print STDERR "duration ", $endsec - $startsec, ":", $endmsec - $startmsec, "\n"; + print STDERR "JSON (", $TeXLive::TLUtils::jsonmode, ") generation took ", $endsec - $startsec, ".", substr($endmsec - $startmsec,0,2), " sec\n"; } return ($ret); } |