check_GNU_style.sh: Put stdin into temp file
commit93f7b419a927e642c44cc9d9ca834bd8f44fdd86
authorvries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 May 2015 16:23:29 +0000 (12 16:23 +0000)
committervries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 May 2015 16:23:29 +0000 (12 16:23 +0000)
treee91ecd949e4050990c4b6222c9f809f07bd44b68
parent0b4a9aa24d9ded711f1f562077882c040d9b1736
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223087 138bc75d-0d04-0410-961f-82ee72b054a4
contrib/ChangeLog
contrib/check_GNU_style.sh