Re: 'make clean' not working

> On 23 Sep 2021, at 18:42, Akim Demaille <[email protected]> wrote:
> 
>> Le 23 sept. 2021 à 09:31, Hans Åberg <[email protected]> a écrit :
>> 
>>> I can't reproduce your problem.  I have run configure, make, make clean,
>>> make, without any problem (autoconf was not called).  Maybe something was
>>> touched in your tree, I don't know.
>> 
>> I can reproduce the problem by modifying a file by touching it after the build (tried with an m4 file) and making sure autoconf is not in the PATH.
> 
> That's expected: if you touch something that requires Autoconf, of course autoconf is fired.
> 
> Andrea said he did nothing like that, yet autoconf was called.

Then it does not happen here: I moved a file, made a copy to the original name, and the problem showed. Then I deleted the copy, and moved the original back, and then it did not happen.