diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2020-11-11 20:58:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-11 20:58:56 +0100 |
| commit | 194b96852f13f3bf7a85a3b4e22c0977afa90cde (patch) | |
| tree | aac73db9a0a2ec71c83ad7dd4ff41e340c72ae63 /config.toml.example | |
| parent | 62f0a78056a8b994f6bbe57c8349f1a0704713c3 (diff) | |
| parent | b989d46b48471c70a6d5fb1c1aff4feadaeef922 (diff) | |
Rollup merge of #78354 - 12101111:rustbuild_profiler, r=Mark-Simulacrum
Support enable/disable sanitizers/profiler per target This PR add options under `[target.*]` of `config.toml` which can enable or disable sanitizers/profiler runtime for corresponding target. If these options are empty, the global options under `[build]` will take effect. Fix #78329
Diffstat (limited to 'config.toml.example')
| -rw-r--r-- | config.toml.example | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example index 1dcc5f13415..c9e18388750 100644 --- a/config.toml.example +++ b/config.toml.example @@ -586,6 +586,15 @@ changelog-seen = 2 # build native code. #android-ndk = "/path/to/ndk" +# Build the sanitizer runtimes for this target. +# This option will override the same option under [build] section. +#sanitizers = false + +# Build the profiler runtime for this target(required when compiling with options that depend +# on this runtime, such as `-C profile-generate` or `-Z instrument-coverage`). +# This option will override the same option under [build] section. +#profiler = false + # Force static or dynamic linkage of the standard library for this target. If # this target is a host for rustc, this will also affect the linkage of the # compiler itself. This is useful for building rustc on targets that normally |