Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'xtask/src/flags.rs')
| -rw-r--r-- | xtask/src/flags.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xtask/src/flags.rs b/xtask/src/flags.rs index d03e2f8437..81b6a1b7d2 100644 --- a/xtask/src/flags.rs +++ b/xtask/src/flags.rs @@ -59,6 +59,8 @@ xflags::xflags! { optional --client-patch-version version: String /// Use cargo-zigbuild optional --zig + /// Apply PGO optimizations + optional --pgo } /// Read a changelog AsciiDoc file and update the GitHub Releases entry in Markdown. cmd publish-release-notes { @@ -147,6 +149,7 @@ pub struct Dist { pub jemalloc: bool, pub client_patch_version: Option<String>, pub zig: bool, + pub pgo: bool, } #[derive(Debug)] |