On Fri, 2013-08-16 at 20:59 +0400, Pavel Fedin wrote:
Friday, August 16, 2013, 19:19:58 you wrote:
Also, when I'm making changes to the exec() code I don't spend a lot of
time worrying about spawn() so it is possible that it will be broken
from time to time and, in fact, I think you
On Fri, 2013-08-16 at 13:30 -0400, Christopher Faylor wrote:
On Fri, Aug 16, 2013 at 01:12:28PM -0400, Paul Smith wrote:
On Fri, 2013-08-16 at 20:59 +0400, Pavel Fedin wrote:
Friday, August 16, 2013, 19:19:58 you wrote:
Also, when I'm making changes to the exec() code I don't spend a lot of
Hello, Paul.
Friday, August 16, 2013, 22:18:31 you wrote:
Presumably make works at least 99% correctly on Windows using spawn*().
I don't doubt at all that the patch actually works great with most uses
of make in Cygwin. However, I would rather be 100% correct and slower
than 99% correct
From: Paul Smith psm...@gnu.org
Date: Fri, 16 Aug 2013 14:18:31 -0400
Cc: bug-make@gnu.org
So, the question is very simple: is it technically possible to ensure
that the operations make takes today in the child between fork and exec
can be handled properly in a spawn-based
On Fri, Aug 16, 2013 at 02:18:31PM -0400, Paul Smith wrote:
On Fri, 2013-08-16 at 13:30 -0400, Christopher Faylor wrote:
On Fri, Aug 16, 2013 at 01:12:28PM -0400, Paul Smith wrote:
On Fri, 2013-08-16 at 20:59 +0400, Pavel Fedin wrote:
Friday, August 16, 2013, 19:19:58 you wrote:
Also, when
On Fri, 2013-08-16 at 22:52 +0400, Pavel Fedin wrote:
Exactly, hence the reason for my question. I'm not interested in adding
this if, when it's enabled, things don't work correctly.
On the other hand I'm not sure it's not possible to get things working
correctly. Or, perhaps it's