> Date: Fri, 09 Jun 2006 12:05:19 +0000 > From: Greg Chicares <[EMAIL PROTECTED]> > CC: [email protected] > > With version 3.81, no, I can't reproduce such a problem.
Okay, thanks for testing. It makes sense for previous versions to have all kinds of problems when interrupted, since SIGINT handling was badly broken in the Windows port before v3.81 (previous versions ignored the fact that Windows runs the signal handler in a separate thread, without stopping the main thread). _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
