"Paul D. Smith" wrote: > > >> https://savannah.gnu.org/patch/index.php?func=detailitem&item_id=3679 > >> > >> > CTRL-C on Windows causes make to crash. This was because of the > >> > wrong implementation of w32_kill, dereferencing a pid as a > >> > pointer. The attached patch (targetting mingw32-make-3.80.0-3) > >> > fixes it. > >> > >> This seems straightforward enough but Alessandro posted a followup > >> that said the change given was not correct and a different solution > >> was needed... any thoughts on this? > > ez> I tend to agree with Alessandro, but a specific patch he suggests > ez> would be nice: it's hard to think about this on purely theoretical > ez> grounds. > > I agree; so we're waiting for someone to provide an updated patch here.
I posted a patch doing `exit(EXIT_FAILURE)' rather than `kill (getpid(), sig)' to terminate the running program at the end of the signal handler. _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
