aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/cli.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/cli.c')
-rw-r--r--src/cli.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cli.c b/src/cli.c
index bd0d915..c5649f0 100644
--- a/src/cli.c
+++ b/src/cli.c
@@ -39,6 +39,8 @@ CliArgs* parse_cli_args(int argc, char** argv) {
} else if (strcmp(argv[i], "--version") == 0) {
print_version();
exit(0);
+ } else if (strcmp(argv[i], "--std=c23") == 0) {
+ // ignore --std=c23
} else {
fatal_error("unknown option: %s", argv[i]);
}