Ok, just did it :)

Igor


> -----Original Message-----
> From: Andreas Schwab [mailto:[email protected]]
> Sent: Tuesday, October 31, 2017 4:00 PM
> To: Tsimbalist, Igor V <[email protected]>
> Cc: Joseph Myers <[email protected]>; [email protected];
> Jeff Law <[email protected]>; [email protected]
> Subject: Re: [PATCH 07/22] Enable building libgcc with CET options.
> 
> On Okt 31 2017, "Tsimbalist, Igor V" <[email protected]> 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, [email protected]
> GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
> "And now for something completely different."

Reply via email to