From e553e19996e06e28e2884eda3658fb9ba4d91187 Mon Sep 17 00:00:00 2001
From: Francisco Javier Trujillo Mata <fjtrujy@gmail.com>
Date: Sat, 23 Nov 2019 12:54:45 +0100
Subject: [PATCH] Call pthread_terminate is if it is NO SALAMANDER

---
 frontend/drivers/platform_psp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 6fbb3d650e..66af6017b1 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -233,8 +233,8 @@ static void frontend_psp_deinit(void *data)
    (void)data;
 #ifndef IS_SALAMANDER
    verbosity_disable();
-#endif
    pthread_terminate();
+#endif
 }
 
 static void frontend_psp_shutdown(bool unused)