diff --git a/.vscode/settings.json b/.vscode/settings.json index 869206fe21..a9f885c65d 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -11,4 +11,5 @@ "-Isrc", "-D_LANGUAGE_C", ], + "python.pythonPath": "/usr/bin/python3", } diff --git a/coverage.py b/coverage.py index d5a124f6db..5f5630deb8 100755 --- a/coverage.py +++ b/coverage.py @@ -74,10 +74,10 @@ if __name__ == "__main__": for func in matched_but_undeleted_asm: f = next(NONMATCHINGS_DIR.rglob(func + ".s")) remove(f) - elif len(asm) != len(non_matched): + elif len(set(asm)) != len(set(non_matched)): #print(f"warning: number of INCLUDE_ASM macros ({len(asm)}) != number of asm files ({len(non_matched)})") - if len(non_matched) > len(asm): + if len(set(non_matched)) > len(set(asm)): print(f"The following functions are unmatched but are also unINCLUDEd: {set(non_matched) - set(asm)}") if "--fail-unincluded" in argv: