diff options
| -rw-r--r-- | Doc/using/configure.rst | 11 | ||||
| -rw-r--r-- | Tools/scripts/summarize_stats.py (renamed from Tools/scripts/summarize_specialization_stats.py) | 0 |
2 files changed, 11 insertions, 0 deletions
diff --git a/Doc/using/configure.rst b/Doc/using/configure.rst index b2a2936db7..771ad3cf18 100644 --- a/Doc/using/configure.rst +++ b/Doc/using/configure.rst @@ -131,6 +131,17 @@ General Options .. versionadded:: 3.11 +.. cmdoption:: --enable-pystats + + Turn on internal statistics gathering. + + The statistics will be dumped to a arbitrary (probably unique) file in + ``/tmp/py_stats/``, or ``C:\temp\py_stats\`` on Windows. + + Use ``Tools//summarize_stats.py`` to read the stats. + + .. versionadded:: 3.11 + Install Options --------------- diff --git a/Tools/scripts/summarize_specialization_stats.py b/Tools/scripts/summarize_stats.py index 15b1887415..15b1887415 100644 --- a/Tools/scripts/summarize_specialization_stats.py +++ b/Tools/scripts/summarize_stats.py |