diff options
| author | 12101111 <w12101111@gmail.com> | 2020-10-25 20:13:14 +0800 |
|---|---|---|
| committer | 12101111 <w12101111@gmail.com> | 2020-10-26 10:34:07 +0800 |
| commit | b989d46b48471c70a6d5fb1c1aff4feadaeef922 (patch) | |
| tree | 681cb69b809804a816271fddafb2cbe59a82fae2 /config.toml.example | |
| parent | b6ac411f45d38d867ce9f689bbd5c3e7456d0f65 (diff) | |
Support enable/disable sanitizers/profiler per target
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 e7e37c679e5..e47002c0490 100644 --- a/config.toml.example +++ b/config.toml.example @@ -582,6 +582,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 |
