pgo: Enable pgo behind release flag (#13158)

* Revert a54e61ecb0

* Configure the use of pgo profiles behind the release config flag (--config=release)
This commit is contained in:
Preston Van Loon
2023-11-08 07:33:26 -06:00
committed by GitHub
parent 4a515c36e6
commit 3097601530
4 changed files with 10 additions and 0 deletions

View File

@@ -144,6 +144,11 @@ config_setting(
values = {"define": "coverage_enabled=1"},
)
config_setting(
name = "pgo_enabled",
values = {"define": "pgo_enabled=1"},
)
common_files = {
"//:LICENSE.md": "LICENSE.md",
"//:README.md": "README.md",