E R <pc88mxer@xxxxxxxxx> writes: > When checking out a > different revision of the project you would have to perform another > 'make clean' before 'make all' since you aren't sure of what's changed > and the timestamps of the derived files will be more recent than the > timestamps of the source files. The last assumption is incorrect. git checkout will touch the files it modifies, and won't play with timestamp precisely to save you from having to do "make clean" each time you use git. -- Matthieu -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html