diff -r 563cd9a72682 -r 3293086ff663 contrib/perf.py --- a/contrib/perf.py Tue May 21 15:08:06 2019 +0200 +++ b/contrib/perf.py Tue May 21 15:26:48 2019 +0200 @@ -18,6 +18,10 @@ ``pre-run`` number of run to perform before starting measurement. +``profile-benchmark`` + Enable profiling for the benchmarked section. + (The first iteration is benchmarked) + ``run-limits`` Control the number of runs each benchmark will perform. The option value should be a list of `