|
|
@@ -1171,10 +1171,12 @@ void _starpu_handler(int sig)
|
|
|
{
|
|
|
signal(SIGSEGV, act_sigsegv);
|
|
|
}
|
|
|
+#ifdef SIGTRAP
|
|
|
if (sig == SIGTRAP)
|
|
|
{
|
|
|
signal(SIGTRAP, act_sigtrap);
|
|
|
}
|
|
|
+#endif
|
|
|
#ifdef STARPU_VERBOSE
|
|
|
_STARPU_MSG("Rearming signal '%d'\n", sig);
|
|
|
#endif
|
|
|
@@ -1185,7 +1187,9 @@ void _starpu_catch_signals(void)
|
|
|
{
|
|
|
act_sigint = signal(SIGINT, _starpu_handler);
|
|
|
act_sigsegv = signal(SIGSEGV, _starpu_handler);
|
|
|
+#ifdef SIGTRAP
|
|
|
act_sigtrap = signal(SIGTRAP, _starpu_handler);
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
int starpu_init(struct starpu_conf *user_conf)
|
