diff options
author | Gilles Peskine <Gilles.Peskine@arm.com> | 2019-02-25 21:39:42 +0100 |
---|---|---|
committer | Gilles Peskine <Gilles.Peskine@arm.com> | 2019-02-25 21:42:32 +0100 |
commit | afd19dd9b6b626e3170a16eedf5b95601cea61d5 (patch) | |
tree | 0c083b1f9ab2d9c7e4da2fd0214199a1e4f67702 /scripts | |
parent | 6fc5215831b01df6e5376b555a1c7f4d69afef1f (diff) |
Silence pylint
Silence pylint in specific places where we're doing slightly unusual
or dodgy, but correct.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/abi_check.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/abi_check.py b/scripts/abi_check.py index 5beaa885..2a90b68f 100755 --- a/scripts/abi_check.py +++ b/scripts/abi_check.py @@ -255,7 +255,9 @@ def run_main(): ) return_code = abi_check.check_for_abi_changes() sys.exit(return_code) - except Exception: + except Exception: # pylint: disable=broad-except + # Print the backtrace and exit explicitly so as to exit with + # status 2, not 1. traceback.print_exc() sys.exit(2) |