On Thu, Feb 15, 2001 at 08:47:54PM -0500, Pavel Roskin wrote:
: Hello, Lars!
: > This patch removes a race condition in config.status.
:
: Neighter configure nor config.status should be run in the same time in the
: same directory. Please explain why you have to.
I use config.status to generate code from .in templates. Makefile
dependencies sets up the files to be generated when it is needed.
If you do "make -j 4" on an SMP system, chances are that multiple
files will be generated at the same time.
However, the case that triggered the bug is a case of a generated
file that is both a CONFIG_HEADER and a CONFIG_FILE. I therefore
run a pipe:
./config.status --file=-:header.in | ./config.status --header=header:-
This has worked flawlessly for quite some time up till a couple of
weeks ago when this race condition was introduced.
: In this case it's easy to support weird things when you stop supporting
: other weird things (I mean, reentrancy vs. different shell). But you'll
: have to persuade me that your weird thing is more important :-)
Hey, I sent is a patch that fixes a *bug*! Why do I have to justify
myself to you on this one?
Lars J
--
Innovation is one percent inspiration and ninetynine percent perspiration,
and in my case; twice that... -- Norville Barnes, `The Hudsucker Proxy'
