◐ Shell
clean mode source ↗

Message 353670 - Python tracker

> We could avoid typeperf command by accessing directly performance counters: (...)

Honestly, it sounds very complicated. I don't think that it's worth it. With Lorenz's fix, regrtest now "just works". So I think that it's good enough.