RE: [PATCH, contrib] Reduce check_GNU_style noise

2014-12-04 Thread Richard Biener
On Thu, 4 Dec 2014, Thomas Preud'homme wrote: > Ping? Ok. Thanks, Richard. > > -Original Message- > > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > > ow...@gcc.gnu.org] On Behalf Of Thomas Preud'homme > > Sent: Friday, November 28, 2014 3:02 PM > > To: gcc-patches@gcc.gnu.o

RE: [PATCH, contrib] Reduce check_GNU_style noise

2014-12-04 Thread Thomas Preud'homme
Ping? > -Original Message- > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > ow...@gcc.gnu.org] On Behalf Of Thomas Preud'homme > Sent: Friday, November 28, 2014 3:02 PM > To: gcc-patches@gcc.gnu.org > Subject: [PATCH, contrib] Reduce check_GNU_style noise > > Currently check_G