On 2023-08-18 10:11:12 +0900, Michael Paquier wrote: > On Wed, Aug 09, 2023 at 07:38:40AM -0700, Andres Freund wrote: > > On 2023-08-09 16:25:28 +0200, Christoph Berg wrote: > >> Understood, I was just pointing out there are more types of generated > >> files in there. > > > > The situation for configure is somewhat different, due to being maintained > > in > > the repository, rather than just being included in the tarball... > > This one comes down to Debian that patches autoconf with its own set > of options, requiring a new ./configure in the tree, right?
I'm not sure what you're really asking here?
