STINNER Victor added the comment: > The output in PR 3765 partially duplicates the output of the -v option.
Right. But the idea is to be able to use "grep 'import time:'" to only extract importtime logs. "-v" logs different kind of informations. ---------- nosy: +haypo _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue31415> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
