# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1713055296 -7200
# Node ID ecf4b959fa7446ecdcbb47d5eff417cfe3dc0f87
# Parent  a6bdd2e6f7cb374f233f7676b8741eebac6ccc59
perf: start recording total time after warming

The warming might be costly and this should not affect the "time profile" of the
actual collection.

diff -r a6bdd2e6f7cb -r ecf4b959fa74 contrib/perf.py
--- 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: