Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-7.3
This commit is contained in:
commit
8c66979817
@ -1299,10 +1299,13 @@ sysError(const char *fm, ...)
|
|||||||
|
|
||||||
int
|
int
|
||||||
raiseSignal(PL_local_data_t *ld, int sig)
|
raiseSignal(PL_local_data_t *ld, int sig)
|
||||||
{ if (sig == SIG_THREAD_SIGNAL) {
|
{
|
||||||
|
#if THREADS
|
||||||
|
if (sig == SIG_THREAD_SIGNAL) {
|
||||||
Yap_signal(YAP_ITI_SIGNAL);
|
Yap_signal(YAP_ITI_SIGNAL);
|
||||||
return TRUE;
|
return TRUE;
|
||||||
}
|
}
|
||||||
|
#endif
|
||||||
fprintf(stderr, "Unsupported signal %d\n", sig);
|
fprintf(stderr, "Unsupported signal %d\n", sig);
|
||||||
return FALSE;
|
return FALSE;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user