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

Hi, > However, the main concern with either approach [...] many complications and > corner cases, some as noted by Reiner Post. I'm curious and will check these out at some point. > I think you’re missing the fact that nobody is actually working on > these things. Make is an open-source

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

On Tue, Oct 20, 2015 at 11:07 PM, Mike Shal wrote: if timestamp(foo.o) < timestamp(foo.c) {rebuild foo.o} > > to: > > if checksum(foo.c) != last_checksum(foo.c) {rebuild things that depend on > foo.c} > > But you can get pretty much all the same benefits without having to hash

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

Hi, Let me tell 2 real-life examples: 1. The one that made me find this issue: My hobby project takes 45 seconds to compile, out of which the biggest .cc file that I modify most of the time is 15 seconds. In order to understand what's going on (it was not written by me, I'm just fixing bugs

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

g that working > than doing more work on the timestamp implementation. > > Note that there are published mechanisms for using checksums with > existing make. For instance > http://www.cmcrossroads.com/article/rebuilding-when-files-checksum-changes > . > > David Boyce > >

[bug #46193] Discussion of system crash behaviours

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

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

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.

[bug #16255] export a unique slot number

URL: http://savannah.gnu.org/bugs/?func=detailitemitem_id=16255 Summary: export a unique slot number Project: make Submitted by: egmont Submitted on: Monday 04/03/06 at 09:51 Severity: 3 - Normal Item