diff options
Diffstat (limited to '')
-rw-r--r-- | src/tools/clippy/tests/ui/print_stdout_build_script.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/print_stdout_build_script.rs b/src/tools/clippy/tests/ui/print_stdout_build_script.rs new file mode 100644 index 000000000..997ebef8a --- /dev/null +++ b/src/tools/clippy/tests/ui/print_stdout_build_script.rs @@ -0,0 +1,12 @@ +// compile-flags: --crate-name=build_script_build + +#![warn(clippy::print_stdout)] + +fn main() { + // Fix #6041 + // + // The `print_stdout` lint shouldn't emit in `build.rs` + // as these methods are used for the build script. + println!("Hello"); + print!("Hello"); +} |