"Paul D. Smith" wrote: > > There are a number of W32 patches posted on Savannah, that I don't know > whether they should be applied or not. > [...] > https://savannah.gnu.org/patch/index.php?func=detailitem&item_id=3747 > > > I didn't test this patch deeply. Apparently, gmake becomes neither > > worst nor better with it. However, this patch may be useful for > > experimenting with CreateProcess, or avoiding the inheritance > > problem in CreatePipe. So, here is it. > > Not sure whether this should be applied, or not. It has a few other > items in it besides the CreateProcess() change.
Just the CreatePipe(). The point is avoiding that the child inherits both ends of the pipe, which is the defaults. Currently the child inherits them, but since they are (hard to guess) handle values, it probably doesn't hurt. _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
