1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
diff --git a/firmware/target/hosted/sdl/kernel-sdl.c b/firmware/target/hosted/sdl/kernel-sdl.c
index 4fb1aed..443c57b 100644
--- a/firmware/target/hosted/sdl/kernel-sdl.c
+++ b/firmware/target/hosted/sdl/kernel-sdl.c
@@ -149,10 +149,11 @@ void sim_kernel_shutdown(void)
 #ifndef HAVE_SDL_THREADS
     do_exit = true;
     SDL_CondSignal(wfi_cond);
-#endif
+#else
     disable_irq(); 
     SDL_DestroyMutex(sim_irq_mtx);
     SDL_DestroyCond(sim_thread_cond); 
+#endif
 }

 Uint32 tick_timer(Uint32 interval, void *param)