27 #if defined (__WIN32__) && ! defined (__CYGWIN__)
33 #include <sys/types.h>
39 #if defined (__WIN32__) && ! defined (__CYGWIN__)
51 GenerateConsoleCtrlEvent (CTRL_C_EVENT, 0);
92 #if defined (__GNUC__)
93 # if ! (__GNUC__ > 4 \
94 || (__GNUC__ == 4 && (__GNUC_MINOR__ > 1 \
95 || (__GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ > 2))))
96 # undef GNULIB_NAMESPACE
97 # define GNULIB_NAMESPACE
98 # warning "disabling GNULIB_NAMESPACE for signal functions -- consider upgrading to a current version of GCC"
105 #if ! defined (__WIN32__) || defined (__CYGWIN__)
113 sigset_t signal_mask;
115 GNULIB_NAMESPACE::sigemptyset (&signal_mask);
117 GNULIB_NAMESPACE::sigaddset (&signal_mask, sig);
119 pthread_sigmask (how, &signal_mask, 0);
138 #if defined (__WIN32__) && ! defined (__CYGWIN__)
139 return new windows_thread_manager ();