[webkit-changes] [WebKit/WebKit] bb5277: Update PGO scripts to refer to run-benchmarks' ren...
hysu
noreply at github.com
Fri Nov 11 12:02:41 PST 2022
Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: bb52774d658ff6d0f32d1630d9f1682ea1d7457a
https://github.com/WebKit/WebKit/commit/bb52774d658ff6d0f32d1630d9f1682ea1d7457a
Author: Hysu Xiong <hysu at apple.com>
Date: 2022-11-11 (Fri, 11 Nov 2022)
Changed paths:
M Tools/Scripts/build-and-collect-pgo-profiles
M Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py
Log Message:
-----------
Update PGO scripts to refer to run-benchmarks' renamed --generate-pgo-profiles flag
https://bugs.webkit.org/show_bug.cgi?id=247753
rdar://102202608
Reviewed by Dewei Zhu and Stephanie Lewis.
https://bugs.webkit.org/show_bug.cgi?id=247496 introduced profiling into run-benchmarks, so we've had to rename --generate-profiles to --generate-pgo-profiles to avoid confusion.
- Update `Tools/Scripts/build-and-collect-pgo-profiles` to refer to the new --generate-pgo-profiles flag
- Remove the --generate-profiles alias from run-benchmarks.
* Tools/Scripts/build-and-collect-pgo-profiles:
* Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py:
(config_argument_parser):
Canonical link: https://commits.webkit.org/256583@main
More information about the webkit-changes
mailing list