Ok, just did it :) Igor
> -----Original Message----- > From: Andreas Schwab [mailto:sch...@linux-m68k.org] > Sent: Tuesday, October 31, 2017 4:00 PM > To: Tsimbalist, Igor V <igor.v.tsimbal...@intel.com> > Cc: Joseph Myers <jos...@codesourcery.com>; gcc-patches@gcc.gnu.org; > Jeff Law <l...@redhat.com>; i...@airs.com > Subject: Re: [PATCH 07/22] Enable building libgcc with CET options. > > On Okt 31 2017, "Tsimbalist, Igor V" <igor.v.tsimbal...@intel.com> wrote: > > > Fixed. > > > > - i[34567]86-*-linux* | x86_64-*-linux*) > > + i[[34567]]86-*-linux* | x86_64-*-linux*) > > Don't forget to regenerate all configure scripts. > > Andreas. > > -- > Andreas Schwab, sch...@linux-m68k.org > GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 > "And now for something completely different."