diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/driver.cc | 4 | ||||
| -rw-r--r-- | kernel/log.cc | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 5cfc4171d..f8d00c38d 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -510,7 +510,9 @@ int main(int argc, char **argv) #endif log_flush(); -#ifdef _WIN32 +#if defined(_MSC_VER) + _exit(0); +#elif defined(_WIN32) _Exit(0); #endif diff --git a/kernel/log.cc b/kernel/log.cc index 3f1d88819..abc401f55 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -207,6 +207,8 @@ void logv_error(const char *format, va_list ap) #ifdef EMSCRIPTEN log_files = backup_log_files; throw 0; +#elif defined(_MSC_VER) + _exit(1); #else _Exit(1); #endif |