diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-14 05:02:24 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-14 05:02:24 +0000 |
| commit | 1930043c36ab9cae4f3fab46b6432ce20e65c778 (patch) | |
| tree | 3689518279cd7e3e48de53139c14b0713e4693fe /bootstrap.example.toml | |
| parent | 69b2bb67b1e5ecebd37697a994d54ba91eee4b38 (diff) | |
| parent | d087f112b7d1323446c7b39a8b616aee7fa56b3d (diff) | |
| download | rust-1930043c36ab9cae4f3fab46b6432ce20e65c778.tar.gz rust-1930043c36ab9cae4f3fab46b6432ce20e65c778.zip | |
Merge from rustc
Diffstat (limited to 'bootstrap.example.toml')
| -rw-r--r-- | bootstrap.example.toml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bootstrap.example.toml b/bootstrap.example.toml index 1371fd6442f..19cf360b0fb 100644 --- a/bootstrap.example.toml +++ b/bootstrap.example.toml @@ -381,6 +381,15 @@ # "miri", "cargo-miri" # for dev/nightly channels #] +# Specify build configuration specific for some tool, such as enabled features. +# This option has no effect on which tools are enabled: refer to the `tools` option for that. +# +# For example, to build Miri with tracing support, use `tool.miri.features = ["tracing"]` +# +# The default value for the `features` array is `[]`. However, please note that other flags in +# `bootstrap.toml` might influence the features enabled for some tools. +#tool.TOOL_NAME.features = [FEATURE1, FEATURE2] + # Verbosity level: 0 == not verbose, 1 == verbose, 2 == very verbose, 3 == print environment variables on each rustc invocation #verbose = 0 |