diff --git a/run-pylint.py b/run-pylint.py index 9b14d2dc4e0fc64432494007d638795c829d0280..d1860e1ca45b47dfdfca0a1332a6994ca785ca3d 100755 --- a/run-pylint.py +++ b/run-pylint.py @@ -65,12 +65,6 @@ def main(): """Process command line args and run Pylint.""" args = [] - if sys.version_info >= (3, 13): - print("*** skipping pylint run because we're on Python 3.13") - print("*** context: https://github.com/pylint-dev/pylint/issues/10112") - - return - for arg in sys.argv[1:]: if arg.startswith(YAML_RCFILE_PREFIX): config_path = arg[len(YAML_RCFILE_PREFIX):] @@ -79,6 +73,12 @@ def main(): else: args.append(arg) + if sys.version_info >= (3, 13): + print("::warning:: modifying pylint run because we're on Python 3.13") + print("::warning:: context: https://github.com/pylint-dev/pylint/issues/10112") + + args.append("--disable=import-error") + logger.info(" ".join(shlex.quote(arg) for arg in ["pylint"] + args)) pylint.lint.Run(args)