1
Fork 0

bootstrap: add the dist.compression-formats option

The option allows to add or remove compression formats used while
producing dist tarballs.
This commit is contained in:
Pietro Albini 2020-12-14 15:53:07 +01:00
parent c482ffd1a3
commit 0a2034dca4
No known key found for this signature in database
GPG key ID: 3E06ABE80BAAF19C
4 changed files with 26 additions and 1 deletions

View file

@ -147,6 +147,8 @@ v("experimental-targets", "llvm.experimental-targets",
"experimental LLVM targets to build")
v("release-channel", "rust.channel", "the name of the release channel to build")
v("release-description", "rust.description", "optional descriptive string for version output")
v("dist-compression-formats", None,
"comma-separated list of compression formats to use")
# Used on systems where "cc" is unavailable
v("default-linker", "rust.default-linker", "the default linker")
@ -349,6 +351,8 @@ for key in known_args:
elif option.name == 'option-checking':
# this was handled above
pass
elif option.name == 'dist-compression-formats':
set('dist.compression-formats', value.split(','))
else:
raise RuntimeError("unhandled option {}".format(option.name))