diff options
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 9040408bc..1802e8aac 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -664,13 +664,15 @@ int main(int argc, char **argv) } #endif + log_check_expected(); + yosys_atexit(); memhasher_off(); if (call_abort) abort(); - log_flush(); + log_flush(); #if defined(_MSC_VER) _exit(0); #elif defined(_WIN32) |