diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-03 23:18:00 +0100 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-03 23:18:00 +0100 |
| commit | fefe0fc0430f4f173a25e674708aa0f4f0854b31 (patch) | |
| tree | adb13b830212c269d58031f900d652f29013d2d7 /kernel/driver.cc | |
| parent | 4f096fe65b77435daba019248273e547fa18d167 (diff) | |
Imported yosys 0.7
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 5cfc4171..f8d00c38 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 |