diff --git a/kernel/driver.cc b/kernel/driver.cc index 1802e8aac..2917586ea 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -672,7 +672,7 @@ int main(int argc, char **argv) if (call_abort) abort(); - log_flush(); + log_flush(); #if defined(_MSC_VER) _exit(0); #elif defined(_WIN32)