diff --git a/tools/check-security-tools.py b/tools/check-security-tools.py index 9d23b981fc..09cefec3ea 100755 --- a/tools/check-security-tools.py +++ b/tools/check-security-tools.py @@ -32,9 +32,9 @@ def check_security_tools(): # Hack to ensure that Pylint is detected if tool_short_name == "pylintpython3": tool_name = "Pylint" - if tool_short_name == "ESLint9": + if tool_short_name == "eslint-9": tool_name = "ESLint" - if tool_short_name == "PMD7": + if tool_short_name == "pmd-7": tool_name = "PMD" tool_languages = tool["languages"] cursor = True diff --git a/tools/check-supported-tools.py b/tools/check-supported-tools.py index 8930d1f442..966d317774 100755 --- a/tools/check-supported-tools.py +++ b/tools/check-supported-tools.py @@ -29,9 +29,9 @@ def check_supported_tools(): # Hack to ensure that Pylint is detected if tool_short_name == "pylintpython3": tool_name = "Pylint" - if tool_short_name == "ESLint9": + if tool_short_name == "eslint-9": tool_name = "ESLint" - if tool_short_name == "PMD7": + if tool_short_name == "pmd-7": tool_name = "PMD" tool_languages = tool["languages"] if tool_name.lower() in documentation or tool_short_name.lower() in documentation: