mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-15 20:45:45 +03:00
9b80efd74e
When running `sudo make install`, we only want to run the actual install as root, the building of the documentation and the distribution folder should happen as the non-root user. Related to #13728.