Re: master 2644353: * .gitignore: add src/fingerprint.c

[Stephen Leake]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

>>> branch: master
>>> commit 2644353cbc65927a6a0a76d68e00d017771cdd03
>>
>>>     * .gitignore: add src/fingerprint.c
>>
>> Why? It's not generated since 2019-04-09.
>> Ref b697bb91a1
>
> BTW, this is a recurring problem: every time we change our build
> procedure such that an intermediate file isn't built any more,
> someone ends up (re)adding it to `.gitignore`.

Ah; I had fingerprint.c left over from some previous build, and did not
check that it is still generated.

I'll try to remember to check that in the future.

And to remember that other people keep .gitignore up to date, so a
previously generated file showing up means I should just delete it.

-- 
-- Stephe