From 302015e0d431b8b4325148347bb0ce5d821c09e5 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Wed, 17 Sep 2025 12:30:09 +0200 Subject: [PATCH] Silence pylint Signed-off-by: Gilles Peskine --- scripts/make_generated_files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/make_generated_files.py b/scripts/make_generated_files.py index 7f6bc7878..5e94442cd 100755 --- a/scripts/make_generated_files.py +++ b/scripts/make_generated_files.py @@ -24,7 +24,7 @@ class GenerationScript: """ Representation of a script generating a configuration independent file. """ - # pylint: disable=too-few-public-methods + # pylint: disable=too-few-public-methods,too-many-arguments def __init__(self, script: Path, files: List[Path], output_dir_option: Optional[str] = None, output_file_option: Optional[str] = None,