creusot-setup: Print issues on stderr instead of stdout when bailing

creusot-rs · Feb 3, 2025 · 39e40d8 · 39e40d8
1 parent 38a60c9
commit 39e40d8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/creusot-setup/src/lib.rs b/creusot-setup/src/lib.rs
@@ -183,7 +183,7 @@ pub fn creusot_paths() -> anyhow::Result<Paths> {
                 // warnings) if there's a hard error. Otherwise we're spamming
                 // testsuite logs, etc.
                 for issue in &issues {
-                    println!("{issue}")
+                    eprintln!("{issue}")
                 }
                 bail!(
                     "Please run 'cargo creusot setup status' \
@@ -278,7 +278,7 @@ fn install_tools(paths: &CfgPaths, flags: InstallFlags) -> anyhow::Result<()> {
 
     let issues = diagnostic_config(&paths, &config, false);
     for issue in &issues {
-        println!("{issue}")
+        eprintln!("{issue}")
     }
     if issues.iter().any(|issue| issue.error) {
         bail!("Aborting")