From 1e7e1a03d7c63882e44b7facc5826b3ae261370c Mon Sep 17 00:00:00 2001
From: Dimitris Panokostas <midwan@gmail.com>
Date: Fri, 10 Jul 2020 18:52:48 +0200
Subject: [PATCH] Actually fix previous commit

---
 src/filesys.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/filesys.cpp b/src/filesys.cpp
index 806b74f9..694d9882 100644
--- a/src/filesys.cpp
+++ b/src/filesys.cpp
@@ -8648,7 +8648,10 @@ void filesys_cleanup(void)
 	free_mountinfo();
 	destroy_comm_pipe(&shellexecute_pipe);
 	if (singlethread_int_sem != nullptr)
+	{
 		uae_sem_destroy(&singlethread_int_sem);
+		singlethread_int_sem == nullptr;
+	}
 	shell_execute_data = 0;
 }