check_GNU_style.sh: Put stdin into temp file
authorTom de Vries <tom@codesourcery.com>
Tue, 12 May 2015 16:23:29 +0000 (16:23 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Tue, 12 May 2015 16:23:29 +0000 (16:23 +0000)
commita22e33d04a2cb3c3501cd93d6273190f635206dd
treee91ecd949e4050990c4b6222c9f809f07bd44b68
parent7f167be6acfb2114b23adabe91e489a2d651eefe
check_GNU_style.sh: Put stdin into temp file

2015-05-12  Tom de Vries  <tom@codesourcery.com>

* check_GNU_style.sh: Put stdin into a temp file.

From-SVN: r223087
contrib/ChangeLog
contrib/check_GNU_style.sh