1 --- mol/src/main/misc.h.vanilla 2023-08-31 15:05:56.344264179 +0100
2 +++ mol/src/main/misc.h 2023-08-31 15:06:03.360246709 +0100
6 extern void signal_handler( int sig_num, siginfo_t *sinfo,
7 - struct ucontext *puc, ulong rt_sf );
8 + struct ucontext_t *puc, ulong rt_sf );
10 extern void signal_handler( int sig_num );
12 --- mol/src/main/linux/misc.c.vanilla 2023-08-31 15:05:30.556328393 +0100
13 +++ mol/src/main/linux/misc.c 2023-08-31 15:05:52.008274976 +0100
18 -signal_handler( int sig_num, siginfo_t *sinfo, struct ucontext *puc, ulong rt_sf )
19 +signal_handler( int sig_num, siginfo_t *sinfo, struct ucontext_t *puc, ulong rt_sf )
21 /* handles SIGINT, SIGPIPE */
22 if( common_signal_handler(sig_num) )