diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2020-11-25 13:16:36 +0100 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2020-11-25 13:16:36 +0100 |
| commit | e54c0600b4ba25b0f7af582d9878bfd5c88736bc (patch) | |
| tree | 29eb79605e930301ca7968c9eaa1189bd82851c5 /compiler/rustc_interface/src/util.rs | |
| parent | f4fb47b28edee2df2f47b9d8bdb00b31c559a621 (diff) | |
| download | rust-e54c0600b4ba25b0f7af582d9878bfd5c88736bc.tar.gz rust-e54c0600b4ba25b0f7af582d9878bfd5c88736bc.zip | |
Reword message at the end of the output if not run with a lint tool
Diffstat (limited to 'compiler/rustc_interface/src/util.rs')
0 files changed, 0 insertions, 0 deletions