summaryrefslogtreecommitdiffstats
path: root/config.toml.example
diff options
context:
space:
mode:
authorkennytm <kennytm@gmail.com>2018-02-10 14:23:57 +0800
committerGitHub <noreply@github.com>2018-02-10 14:23:57 +0800
commit077979f4a284ff6d3725a6933896330692b9d468 (patch)
treeb7292d101c65e1054c7f45ab323e1401a4433475 /config.toml.example
parentRollup merge of #47854 - varkor:create-out-dir, r=pnkfelix (diff)
parentRefactor checks on list of extended tools. (diff)
downloadgrust-077979f4a284ff6d3725a6933896330692b9d468.tar.gz
grust-077979f4a284ff6d3725a6933896330692b9d468.tar.bz2
grust-077979f4a284ff6d3725a6933896330692b9d468.tar.xz
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 'config.toml.example')
-rw-r--r--config.toml.example4
1 files changed, 4 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example
index c2ec731eeb..f153562a53 100644
--- a/config.toml.example
+++ b/config.toml.example
@@ -151,6 +151,10 @@
151# default. 151# default.
152#extended = false 152#extended = false
153 153
154# Installs choosen set of extended tools if enables. By default builds all.
155# If choosen tool failed to build the installation fails.
156#tools = ["cargo", "rls", "rustfmt", "analysis", "src"]
157
154# Verbosity level: 0 == not verbose, 1 == verbose, 2 == very verbose 158# Verbosity level: 0 == not verbose, 1 == verbose, 2 == very verbose
155#verbose = 0 159#verbose = 0
156 160