libcpu log: redirect the stdout to file

Signed-off-by: chaojixx <[email protected]>
S2E · Jan 5, 2020 · edca32b · edca32b
1 parent 01b472e
commit edca32b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/s2e-kvm.cpp b/src/s2e-kvm.cpp
@@ -287,7 +287,8 @@ void S2EKVM::initLogLevel(void) {
 
     const char *libcpu_log_file = getenv("LIBCPU_LOG_FILE");
     if (libcpu_log_file) {
-        logfile = fopen(libcpu_log_file, "w");
+        //logfile = fopen(libcpu_log_file, "w");
+        logfile = freopen(libcpu_log_file, "w", stdout);
         if (!logfile) {
             printf("Could not open log file %s\n", libcpu_log_file);
             exit(-1);