diff options
Diffstat (limited to 'scripts/check_sources.py')
-rwxr-xr-x | scripts/check_sources.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/check_sources.py b/scripts/check_sources.py index 21564415..2b79cfe6 100755 --- a/scripts/check_sources.py +++ b/scripts/check_sources.py @@ -1,5 +1,4 @@ #!/usr/bin/env python -# -*- coding: utf-8 -*- """ Checker for file headers ~~~~~~~~~~~~~~~~~~~~~~~~ @@ -188,7 +187,7 @@ def main(argv): try: with open(fn, 'rb') as f: lines = f.read().decode('utf-8').splitlines() - except (IOError, OSError) as err: + except OSError as err: print("%s: cannot open: %s" % (fn, err)) num += 1 continue |