diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-16 09:36:49 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-16 09:38:54 +0200 |
| commit | 5767e4bc4db8d70bd02945769b6784618f7d003a (patch) | |
| tree | 248f07d7b9f51ded13dfcf5ffad2767064d5f3f0 /kernel/driver.cc | |
| parent | 5531bd757808499c23d082c4aa3566cfd5e5ec70 (diff) | |
| download | yosys-5767e4bc4db8d70bd02945769b6784618f7d003a.tar.gz yosys-5767e4bc4db8d70bd02945769b6784618f7d003a.tar.bz2 yosys-5767e4bc4db8d70bd02945769b6784618f7d003a.zip | |
Use _Exit(0) on win32, always use _Exit(1) in log_error()
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 5 |
1 files changed, 5 insertions, 0 deletions
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; |