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 ebb9e71a4f..d03e2f8437 100644 --- a/xtask/src/flags.rs +++ b/xtask/src/flags.rs @@ -57,6 +57,8 @@ xflags::xflags! { /// Use jemalloc allocator for server optional --jemalloc optional --client-patch-version version: String + /// Use cargo-zigbuild + optional --zig } /// Read a changelog AsciiDoc file and update the GitHub Releases entry in Markdown. cmd publish-release-notes { @@ -144,6 +146,7 @@ pub struct Dist { pub mimalloc: bool, pub jemalloc: bool, pub client_patch_version: Option<String>, + pub zig: bool, } #[derive(Debug)] |