Print non-errors to stdout

[yosys.git] / kernel / driver.cc

diff --git a/kernel/driver.cc b/kernel/driver.cc
index f1bf0657b22a77ca140eb0834f5f5ed5c73ec96c..2cbdba8f33ee8d4e23d87d841ec1a5b783d5caa9 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -268,8 +268,10 @@ int main(int argc, char **argv)
                }
        }
 
-       if (log_errfile == NULL)
-               log_files.push_back(stderr);
+       if (log_errfile == NULL) {
+               log_files.push_back(stdout);
+               log_error_stderr = true;
+       }
 
        if (print_banner) {
                log("\n");