Actually fix previous commit

This commit is contained in:
Dimitris Panokostas 2020-07-10 18:52:48 +02:00
parent b50d70dcaa
commit 1e7e1a03d7

View file

@ -8648,7 +8648,10 @@ void filesys_cleanup(void)
free_mountinfo(); free_mountinfo();
destroy_comm_pipe(&shellexecute_pipe); destroy_comm_pipe(&shellexecute_pipe);
if (singlethread_int_sem != nullptr) if (singlethread_int_sem != nullptr)
{
uae_sem_destroy(&singlethread_int_sem); uae_sem_destroy(&singlethread_int_sem);
singlethread_int_sem == nullptr;
}
shell_execute_data = 0; shell_execute_data = 0;
} }