summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorGilles Peskine <Gilles.Peskine@arm.com>2019-02-25 21:39:42 +0100
committerGilles Peskine <Gilles.Peskine@arm.com>2019-02-25 21:42:32 +0100
commitafd19dd9b6b626e3170a16eedf5b95601cea61d5 (patch)
tree0c083b1f9ab2d9c7e4da2fd0214199a1e4f67702 /scripts
parent6fc5215831b01df6e5376b555a1c7f4d69afef1f (diff)
Silence pylint
Silence pylint in specific places where we're doing slightly unusual or dodgy, but correct.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/abi_check.py4
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)