Replaced "sys_siglist[sig]" by "strsignal(sig)" . - the "strsignal" manpage recommends to use strsignal instead of the "sys_siglist" array when possible. - "strsignal" is more portable (sometime "sys_siglist" is not available -- for instance in "musl-dev" with Alpine linux). ( Contribution from https://github.com/EiffelSoftware/EiffelStudio/pull/44 )
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAP%3DhxGiSkm0FCkLt54X9dWmFr5Z2A3_H53knJdDS6VARqbPaHA%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAGh7wYHhLtNtv%3DLy%2BvzQmKdKmMfZa-LwLDqGH43xRp7V_kf0Hw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel...@googlegroups.com.
> Visit this group at https://groups.google.com/group/eiffel-users.
> To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/68886400-4125-4d0d-a50a-ccea691fe012%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
------------------------------------------------------------------------
Eiffel Software
805-685-1006
http://www.eiffel.com
Customer support: http://support.eiffel.com
User group: http://groups.eiffel.com/join
------------------------------------------------------------------------
--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel...@googlegroups.com.
Visit this group at https://groups.google.com/group/eiffel-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAP%3DhxGiSkm0FCkLt54X9dWmFr5Z2A3_H53knJdDS6VARqbPaHA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel...@googlegroups.com.
Visit this group at https://groups.google.com/group/eiffel-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAGh7wYHhLtNtv%3DLy%2BvzQmKdKmMfZa-LwLDqGH43xRp7V_kf0Hw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.