Write log to stdout so it can be piped to a file easily and it's sepa…

…rated from the progress bar
wykurz · Sep 23, 2023 · 9ae9885 · 9ae9885
1 parent c4f7d6c
commit 9ae9885
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/common/src/lib.rs b/common/src/lib.rs
@@ -112,6 +112,7 @@ where
 {
     if !quiet {
         env_logger::Builder::new()
+            .target(env_logger::Target::Stdout)
             .filter_level(match verbose {
                 0 => log::LevelFilter::Error,
                 1 => log::LevelFilter::Info,