From 4c2ed02453248a940f558b72068f8f7d42dec1ed Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Wed, 11 Dec 2024 15:59:49 -0800 Subject: [PATCH] fix flag Signed-off-by: Jade Abraham --- tools/chplcheck/src/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/chplcheck/src/config.py b/tools/chplcheck/src/config.py index 79d7be003e61..8bd456fe9703 100644 --- a/tools/chplcheck/src/config.py +++ b/tools/chplcheck/src/config.py @@ -114,7 +114,7 @@ def add_arguments(cls, parser: argparse.ArgumentParser, prefix: str = ""): ) parser.add_argument( f"--{prefix}check-internal-prefix", - action="append", + action="store_true", dest="chplcheck_check_internal_prefixes", default=False, help="Check symbols with internal prefixes when linting",