about summary refs log tree commit diff
diff options
context:
space:
mode:
authoronur-ozkan <work@onurozkan.dev>2024-08-26 08:28:54 +0300
committeronur-ozkan <work@onurozkan.dev>2024-08-26 08:28:54 +0300
commit9dcc65600e63d23a727190ca1fd91ab645adefb8 (patch)
tree11498de65830ca00d4d59a6050f8aa994e5de9c9
parent9d694b583e3c4e899f61cb2086e2ed9627ec3619 (diff)
downloadrust-9dcc65600e63d23a727190ca1fd91ab645adefb8.tar.gz
rust-9dcc65600e63d23a727190ca1fd91ab645adefb8.zip
document `build.cargo-clippy` option
Signed-off-by: onur-ozkan <work@onurozkan.dev>
-rw-r--r--config.example.toml7
1 files changed, 7 insertions, 0 deletions
diff --git a/config.example.toml b/config.example.toml
index f1dc32234cc..b967d5d9fe8 100644
--- a/config.example.toml
+++ b/config.example.toml
@@ -230,6 +230,13 @@
 # use this rustfmt binary instead as the stage0 snapshot rustfmt.
 #rustfmt = "/path/to/rustfmt"
 
+# Instead of downloading the src/stage0 version of cargo-clippy specified,
+# use this cargo-clippy binary instead as the stage0 snapshot cargo-clippy.
+#
+# Note that this option should be used with the same toolchain as the `rustc` option above. 
+# Otherwise, clippy is likely to fail due to a toolchain conflict.
+#cargo-clippy = "/path/to/cargo-clippy"
+
 # Whether to build documentation by default. If false, rustdoc and
 # friends will still be compiled but they will not be used to generate any
 # documentation.