On Tue, Nov 01 2022, Erik Cervin Edin wrote: > 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 I believe you might be trying to re-invent "make -B" :)
