check_GNU_style.py: Read stdin if file argument is '-'
authorTom de Vries <tom@codesourcery.com>
Mon, 29 May 2017 07:31:02 +0000 (07:31 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Mon, 29 May 2017 07:31:02 +0000 (07:31 +0000)
commit75017bb9750fdbed1ab51c99a7306976a9fa83c2
treec01f020ebfc7f2853ae2895bca929f360c8b5748
parent76baf5ca9d58cfde6c015cc1162c39a9aec60771
check_GNU_style.py: Read stdin if file argument is '-'

2017-05-29  Tom de Vries  <tom@codesourcery.com>

* check_GNU_style_lib.py (check_GNU_style_file): Treat file argument as
file handle.  Add and handle file_encoding argument.
* check_GNU_style.py (main): Handle '-' file argument.  Call
check_GNU_style_file with file handle as argument.

From-SVN: r248555
contrib/ChangeLog
contrib/check_GNU_style.py
contrib/check_GNU_style_lib.py