perf: start recording total time after warming
The warming might be costly and this should not affect the "time profile" of the
actual collection.
--- a/contrib/perf.py Sun Apr 14 02:40:15 2024 +0200
+++ b/contrib/perf.py Sun Apr 14 02:41:36 2024 +0200
@@ -563,7 +563,6 @@
):
gc.collect()
results = []
- begin = util.timer()
count = 0
if profiler is None:
profiler = lambda: NOOPCTX
@@ -572,6 +571,7 @@
setup()
with context():
func()
+ begin = util.timer()
keepgoing = True
while keepgoing:
if count in profiled_runs: