diff --git a/scripts/cve_tools/add-missing-reference b/scripts/cve_tools/add-missing-reference index 72af708..6655168 100755 --- a/scripts/cve_tools/add-missing-reference +++ b/scripts/cve_tools/add-missing-reference @@ -23,7 +23,8 @@ if __name__ == "__main__": with Patch(open(f, "r+b")) as patch: refs = "".join(patch.get("References")) refs = list(refs.replace(",", " ").split()) - new_refs = refs + [r for r in added_refs if not r in refs] + refs_lower = [r.lower() for r in refs] + new_refs = refs + [r for r in added_refs if not r.lower() in refs_lower] if new_refs == refs: continue patch.change("References", " ".join(new_refs))