Re: Consist timestamps within a checkout/clone
On Tue, Nov 01 2022, Erik Cervin Edin wrote:
Show 21 quoted lines
> 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:
>>
>> ...
>> 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" :)