diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-12-14 15:53:07 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-12-29 11:56:25 +0100 |
| commit | 0a2034dca46f72d24d94c04b47c48d30149693bd (patch) | |
| tree | d9479aa6360014dd005c5b898496db143b25feaf /config.toml.example | |
| parent | c482ffd1a3300989cca6b741e32b75f7c3059104 (diff) | |
| download | rust-0a2034dca46f72d24d94c04b47c48d30149693bd.tar.gz rust-0a2034dca46f72d24d94c04b47c48d30149693bd.zip | |
bootstrap: add the dist.compression-formats option
The option allows to add or remove compression formats used while producing dist tarballs.
Diffstat (limited to 'config.toml.example')
| -rw-r--r-- | config.toml.example | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example index b1fb8904ca9..9e08ce9b27e 100644 --- a/config.toml.example +++ b/config.toml.example @@ -669,3 +669,7 @@ changelog-seen = 2 # Whether to allow failures when building tools #missing-tools = false + +# List of compression formats to use when generating dist tarballs. The list of +# formats is provided to rust-installer, which must support all of them. +#compression-formats = ["gz", "xz"] |