From f548a0ce80d78ca7537529aa61236f5125d2e33e Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Thu, 3 Mar 2022 10:22:36 +0100 Subject: [PATCH] Don't require ABI tools if not checking the ABI Signed-off-by: Gilles Peskine --- scripts/abi_check.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/abi_check.py b/scripts/abi_check.py index b983ba405..1192f990c 100755 --- a/scripts/abi_check.py +++ b/scripts/abi_check.py @@ -480,7 +480,8 @@ class AbiChecker: """Generate a report of ABI differences between self.old_rev and self.new_rev.""" self.check_repo_path() - self.check_abi_tools_are_installed() + if self.check_api or self.check_abi: + self.check_abi_tools_are_installed() self._get_abi_dump_for_ref(self.old_version) self._get_abi_dump_for_ref(self.new_version) return self.get_abi_compatibility_report()