On Sun Nov 26 19:27:48 2023 +0000, Nikolay Sivov wrote:
I think this is exactly what happened. This time I was surprised that make_makefiles updates configure.ac by itself, I always edited it manually.
Ah I re-read my old mails, and it was configure that I shouldn't check in - configure.ac is fine. Thanks for the clarification though.