Skip to content

Commit

Permalink
fix flag
Browse files Browse the repository at this point in the history
Signed-off-by: Jade Abraham <[email protected]>
  • Loading branch information
jabraham17 committed Dec 11, 2024
1 parent 138b0c5 commit 4c2ed02
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/chplcheck/src/config.py
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down

0 comments on commit 4c2ed02

Please sign in to comment.