--- ctrl_c.c~1	2003-10-31 01:08:40.000000000 +0000
+++ ctrl_c.c	2004-12-06 20:53:16.000000000 +0000
@@ -39,6 +39,10 @@
 #include "system.h"
 #endif
 
+#ifndef SA_RESTART
+#define SA_RESTART 0
+#endif
+
 /* Services to intercept Ctrl-C */
 
 /* __gnat_install_int_handler will install the specified handler.