Re: [bug #46242] Race condition when input file is updated while compiling

2015-10-18 Thread Edward Welbourne
> There's an inherent race condition in the way "make" handles timestamps. If > you save a newer version of a file while make is running and is just compiling > that input file, the change won't be picked up by subsequent runs of "make", > and you'll be left with an out-of-date binary. The

[bug #46193] Discussion of system crash behaviours

2015-10-18 Thread Egmont Koblinger
Follow-up Comment #2, bug #46193 (project make): Please see also bug 46242: make can leave behind out of date files even if nothing crashes. ___ Reply to this item at:

[bug #46242] Race condition when input file is updated while compiling

2015-10-18 Thread Egmont Koblinger
URL: Summary: Race condition when input file is updated while compiling Project: make Submitted by: egmont Submitted on: Sun 18 Oct 2015 05:28:22 PM GMT Severity: 3 - Normal

[bug #46242] Race condition when input file is updated while compiling

2015-10-18 Thread Egmont Koblinger
Follow-up Comment #1, bug #46242 (project make): Clarification: 7. Go back to the terminal. make might have completed by now. If not, you might either -- if it has finished processing that file and is already working on another -- interrupt it, or wait for it to complete.