From 5767e4bc4db8d70bd02945769b6784618f7d003a Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 16 Aug 2016 09:36:49 +0200 Subject: [PATCH] Use _Exit(0) on win32, always use _Exit(1) in log_error() --- kernel/driver.cc | 5 +++++ kernel/log.cc | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/kernel/driver.cc b/kernel/driver.cc index 45cdd461d..5cfc4171d 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -509,6 +509,11 @@ int main(int argc, char **argv) free(hist_list); #endif + log_flush(); +#ifdef _WIN32 + _Exit(0); +#endif + yosys_shutdown(); return 0; diff --git a/kernel/log.cc b/kernel/log.cc index 229b82746..3f1d88819 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -208,7 +208,7 @@ void logv_error(const char *format, va_list ap) log_files = backup_log_files; throw 0; #else - exit(1); + _Exit(1); #endif } -- 2.30.2