--- ctrl_c.c~1 2003-10-31 01:08:40.000000000 +0000 +++ ctrl_c.c 2004-07-21 20:50:12.000000000 +0000 @@ -75,7 +75,9 @@ __gnat_install_int_handler (void (*proc) if (sigint_intercepted == 0) { act.sa_handler = __gnat_int_handler; +#ifdef SA_RESTART act.sa_flags = SA_RESTART; +#endif sigemptyset (&act.sa_mask); sigaction (SIGINT, &act, &original_act); }