RE: gcc/config.in was not regenerated

2023-06-12 Thread Tamar Christina via Gcc-patches
Hi Coudert, Sorry, missed that one. I'll fix that. Tamar. > -Original Message- > From: FX Coudert > Sent: Saturday, June 10, 2023 9:21 PM > To: Tamar Christina > Cc: g...@gcc.gnu.org; Jeff Law ; gcc- > patc...@gcc.gnu.org > Subject: gcc/config.in was no

gcc/config.in was not regenerated

2023-06-10 Thread FX Coudert via Gcc-patches
Hi, Building GCC in maintainer mode leads to changes in gcc/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