Re: integrating make and git

E R [off-list ref] 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