diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-10-25 14:36:13 +1100 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-10-26 13:33:14 +1100 |
| commit | 9f5fc0283cedc2cbae3727764b451098a7e98071 (patch) | |
| tree | 6b466e9c151abfc2cdba14a0ea0bcbfb5096ff4d /compiler/rustc_codegen_gcc | |
| parent | 278eaf509d0871c5aa09b6b5fec9dc72226578e2 (diff) | |
| download | rust-9f5fc0283cedc2cbae3727764b451098a7e98071.tar.gz rust-9f5fc0283cedc2cbae3727764b451098a7e98071.zip | |
The value of `-Cinstrument-coverage=` doesn't need to be `Option`
Not using this flag is identical to passing `-Cinstrument-coverage=off`, so there's no need to distinguish between `None` and `Some(Off)`.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions
