Merge remote-tracking branch 'origin/pr/2661' into development
* origin/pr/2661:
Remove all abi dumps, not just ones shared between versions
diff --git a/scripts/abi_check.py b/scripts/abi_check.py
index 30c3fe5..539ba6a 100755
--- a/scripts/abi_check.py
+++ b/scripts/abi_check.py
@@ -280,8 +280,9 @@
)
if not (self.keep_all_reports or self.brief):
os.remove(output_path)
- os.remove(self.old_version.abi_dumps[mbed_module])
- os.remove(self.new_version.abi_dumps[mbed_module])
+ for version in [self.old_version, self.new_version]:
+ for mbed_module, mbed_module_dump in version.abi_dumps.items():
+ os.remove(mbed_module_dump)
if self.can_remove_report_dir:
os.rmdir(self.report_dir)
self.log.info(compatibility_report)