RE: gcc/config.in was not regenerated

[Tamar Christina <Tamar.Christina@arm.com>]

Hi Coudert,

Sorry, missed that one.

I'll fix that.

Tamar.

> -----Original Message-----
> From: FX Coudert <fxcoudert@gmail.com>
> Sent: Saturday, June 10, 2023 9:21 PM
> To: Tamar Christina <Tamar.Christina@arm.com>
> Cc: gcc@gcc.gnu.org; Jeff Law <jeffreyalaw@gmail.com>; gcc-
> patches@gcc.gnu.org
> Subject: gcc/config.in was not regenerated
> 
> Hi,
> 
> Building GCC in maintainer mode leads to changes in gcc/config.in
> <http://config.in/>:
> 
> > diff --git a/gcc/config.in b/gcc/config.in index
> > 4cad077bfbe..25442c59aec 100644
> > --- a/gcc/config.in
> > +++ b/gcc/config.in
> > @@ -67,6 +67,12 @@
> >  #endif
> >     +/* Define to larger than one set the number of match.pd
> > partitions to make. */
> > +#ifndef USED_FOR_TARGET
> > +#undef DEFAULT_MATCHPD_PARTITIONS
> > +#endif
> > +
> > +
> >  /* Define to larger than zero set the default stack clash protector
> > size. */  #ifndef USED_FOR_TARGET  #undef
> DEFAULT_STK_CLASH_GUARD_SIZE
> 
> which I think are because this commit
> https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=0a85544e1aaeca41133ecfc4
> 38cda913dbc0f122
> should have regenerated and committed config.in <http://config.in/>
> 
> Christina, can you please have a look?
> 
> FX