> 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.
