diff options
| author | kennytm <kennytm@gmail.com> | 2018-02-10 14:23:57 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-10 14:23:57 +0800 |
| commit | 077979f4a284ff6d3725a6933896330692b9d468 (patch) | |
| tree | b7292d101c65e1054c7f45ab323e1401a4433475 /src/rustllvm/RustWrapper.cpp | |
| parent | 262703cbbe7840cf6ad22d110016583e65102a79 (diff) | |
| parent | 78a0b7fd466093003841cec6fd20d65270cf2175 (diff) | |
| download | rust-077979f4a284ff6d3725a6933896330692b9d468.tar.gz rust-077979f4a284ff6d3725a6933896330692b9d468.zip | |
Rollup merge of #48015 - o01eg:disableable-installation, r=alexcrichton
Customizable extended tools This PR adds `build.tools` option to manage installation of extended rust tools. By default it doesn't change installation. All tools are built and `rls` and `rustfmt` allowed to fail installation. If some set of tools chosen only those tools are built and installed without any fails allowed. It solves some slotting issues with extended build enabled: https://bugs.gentoo.org/show_bug.cgi?id=645498
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions