check_GNU_style.sh: Read either from stdin, or from files
authorTom de Vries <tom@codesourcery.com>
Tue, 12 May 2015 16:23:19 +0000 (16:23 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Tue, 12 May 2015 16:23:19 +0000 (16:23 +0000)
commit7f167be6acfb2114b23adabe91e489a2d651eefe
tree0e3d24b6b0f65ef93e7dde2b42e35f4386277d20
parent0648b80726f03dd0b9ed3dbb56832dbb909502f7
check_GNU_style.sh: Read either from stdin, or from files

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

* check_GNU_style.sh: Read either from stdin, or from files.

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