Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 64ebe5ffcf06e4b81e34e00f8644f2d28fa92086 https://github.com/WebKit/WebKit/commit/64ebe5ffcf06e4b81e34e00f8644f2d28fa92086 Author: Ryosuke Niwa <rn...@webkit.org> Date: 2023-07-24 (Mon, 24 Jul 2023)
Changed paths: M Tools/Scripts/webkitpy/benchmark_runner/benchmark_runner.py M Tools/Scripts/webkitpy/benchmark_runner/browser_driver/browser_driver.py M Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py M Tools/Scripts/webkitpy/benchmark_runner/webserver_benchmark_runner.py Log Message: ----------- Add --profiling-interval to run-benchmark https://bugs.webkit.org/show_bug.cgi?id=259470 Reviewed by Cameron McCormack. Added an option to specify the profiling interval such as 1ms and 100us. * Tools/Scripts/webkitpy/benchmark_runner/benchmark_runner.py: (BenchmarkRunner.__init__): * Tools/Scripts/webkitpy/benchmark_runner/browser_driver/browser_driver.py: (BrowserDriver.profile): * Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py: (config_argument_parser): (run_benchmark_plan): * Tools/Scripts/webkitpy/benchmark_runner/webserver_benchmark_runner.py: (WebServerBenchmarkRunner.__init__): (WebServerBenchmarkRunner): Canonical link: https://commits.webkit.org/266283@main _______________________________________________ webkit-changes mailing list webkit-changes@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-changes