Dist build manifest#77762

Merged

bors merged 7 commits intorust-lang:masterfrom

pietroalbini:dist-build-manifest

Oct 13, 2020

Commits on Oct 12, 2020

build-manifest: accept the Rust version instead of the monorepo path
pietroalbini
committed
bootstrap: add disabled by default build-manifest dist component
pietroalbini
committed
bootstrap: add --include-default-paths to ./x.py
pietroalbini
committed
ci: also build the build-manifest component on dist-x86_64-linux
pietroalbini
committed
build-manifest: allow configuring the number of threads
pietroalbini
committed
build-manifest: use var_os instead of var to check if vars exist
pietroalbini
committed
build-manifest: bundle the rustc version in the binary
pietroalbini
committed