diff options
| author | Tom de Vries <tom@codesourcery.com> | 2017-05-29 07:31:02 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2017-05-29 07:31:02 +0000 |
| commit | 75017bb9750fdbed1ab51c99a7306976a9fa83c2 (patch) | |
| tree | c01f020ebfc7f2853ae2895bca929f360c8b5748 /gcc | |
| parent | 76baf5ca9d58cfde6c015cc1162c39a9aec60771 (diff) | |
| download | gcc-75017bb9750fdbed1ab51c99a7306976a9fa83c2.zip gcc-75017bb9750fdbed1ab51c99a7306976a9fa83c2.tar.gz gcc-75017bb9750fdbed1ab51c99a7306976a9fa83c2.tar.bz2 | |
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
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions