From 9595bb4e6ec5de66f94fe5582c9b74b8f80ecad3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 9 Oct 2015 19:06:07 +0100 Subject: [PATCH] warning --- library/dialect/swi/fli/swi.c | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index 85b2a264b..f69cc72ec 100755 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -2786,19 +2786,6 @@ X_API int PL_thread_self(void) #endif } -#if THREADS - -static int -alertThread(int tid) -{ - #if _WIN32 - return pthread_kill(REMOTE_ThreadHandle(tid).pthread_handle, YAP_WINTIMER_SIGNAL) == 0; - #else - return pthread_kill(REMOTE_ThreadHandle(tid).pthread_handle, YAP_ALARM_SIGNAL) == 0; - #endif -} - -#endif /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - PL_thread_raise() is used for re-routing interrupts in the Windows version, where the signal handler is running from a different thread as