Re: Consist timestamps within a checkout/clone
- From
- Erik Cervin Edin <erik@cervined.in>
- Date
- Nov 1, 2022, 14:34 UTC
- Message-ID
- <CA+JQ7M81t0Lby=sB5GpUzJWakPgbi-ZNiQUL4va0wjDuk4v++Q@mail.gmail.com>
- In-Reply-To
- <2210311614160.25661@stax.localdomain>
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@xwax.org> wrote:
Show 10 quoted lines
> > ... > 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