--- rpl/src/interruptions.c 2016/10/11 11:58:22 1.189 +++ rpl/src/interruptions.c 2016/10/11 12:02:46 1.190 @@ -2028,7 +2028,7 @@ sortie_interruption_depassement_pile(voi return; } -#ifndef BROKEN_SIGSEGV +#ifdef HAVE_SIGSEGV_RECOVERY void interruption_depassement_pile(int urgence, stackoverflow_context_t scp) { @@ -2059,7 +2059,7 @@ interruption_violation_access(void *adre { // Il peut s'agir d'un dépassement de pile. -# ifndef BROKEN_SIGSEGV +# ifdef HAVE_SIGSEGV_RECOVERY sigsegv_leave_handler(sortie_interruption_depassement_pile, (void *) &routine_recursive, NULL, NULL); # else