I have little to add on the underlying issue or non-issue but some ideas on how to solve your problem On Mon, Oct 31, 2022 at 8:39 PM Mark Hills <mark@xxxxxxxx> wrote: > > ... > Indeed, Make is acting reasonably as the source file is sometimes > marginally newer than the destination (both checked out by Git), example > below. > > I've never had to consider consistency timestamps within a Git checkout > until now. > > It's entirely possible there's _never_ a guarantee of consistency here. If your makefile depends on checkout, why not git ls-files | xargs touch or if this done in an environment where there's not a fresh clone each time, maybe git diff HEAD --name-only --diff-filter=AM | xargs touch or something along those lines
