On Tue, 20 Aug 2019, Jose E. Marchesi wrote: > > On Thu, Aug 15, 2019 at 12:22:46AM +0200, Jose E. Marchesi wrote: > > > --- a/configure > > > +++ b/configure > Yeah by mistake I used a Debian patched autoconf 2.96. Will regenerate > using vanilla autoconf for subsequent versions of the patch.
It's nice that this is identified and hopefully resolved, but since nobody mentioned it I'll just point out that it's preferable to *not at all* include generated files like configure in patches. See <https://gcc.gnu.org/contribute.html#patches>. brgds, H-P
