Hi Coudert, Sorry, missed that one.
I'll fix that. Tamar. > -----Original Message----- > From: FX Coudert <fxcoud...@gmail.com> > Sent: Saturday, June 10, 2023 9:21 PM > To: Tamar Christina <tamar.christ...@arm.com> > Cc: g...@gcc.gnu.org; Jeff Law <jeffreya...@gmail.com>; gcc- > patc...@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
