12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- #!/usr/bin/env python3
- #
- # Checks some of the GNU style formatting rules in a set of patches.
- # The script is a rewritten of the same bash script and should eventually
- # replace the former script.
- #
- # This file is part of GCC.
- #
- # GCC is free software; you can redistribute it and/or modify it under
- # the terms of the GNU General Public License as published by the Free
- # Software Foundation; either version 3, or (at your option) any later
- # version.
- #
- # GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- # WARRANTY; without even the implied warranty of MERCHANTABILITY or
- # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- # for more details.
- #
- # You should have received a copy of the GNU General Public License
- # along with GCC; see the file COPYING3. If not see
- # <http://www.gnu.org/licenses/>. */
- import argparse
- import sys
- from check_GNU_style_lib import check_GNU_style_file
- def main():
- parser = argparse.ArgumentParser(description='Check GNU coding style.')
- parser.add_argument('file', help = 'File with a patch')
- parser.add_argument('-f', '--format', default = 'stdio',
- help = 'Display format',
- choices = ['stdio', 'quickfix'])
- args = parser.parse_args()
- filename = args.file
- format = args.format
- if filename == '-':
- check_GNU_style_file(sys.stdin, None, format)
- else:
- with open(filename, 'rb') as diff_file:
- check_GNU_style_file(diff_file, 'utf-8', format)
- main()
|