--- rpl/src/interruptions.c	2016/09/27 15:29:39	1.186
+++ rpl/src/interruptions.c	2016/10/11 11:30:30	1.187
@@ -2028,6 +2028,7 @@ sortie_interruption_depassement_pile(voi
 	return;
 }
 
+#ifndef BROKEN_SIGSEGV
 void
 interruption_depassement_pile(int urgence, stackoverflow_context_t scp)
 {
@@ -2044,6 +2045,7 @@ interruption_depassement_pile(int urgenc
 	interruption3(SIGUSR2);
 	return;
 }
+#endif
 
 int
 interruption_violation_access(void *adresse_fautive, int gravite)