[PATCH 2/8] bpf: new GCC port

[Hans-Peter Nilsson]

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