From 459b7661aaa0d65d01be064bd4b9976c4f045a5c Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 18:22:04 +0330 Subject: bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code) --- src/micro/port_linux.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/micro') diff --git a/src/micro/port_linux.c b/src/micro/port_linux.c index 9331a0b..6245f4f 100644 --- a/src/micro/port_linux.c +++ b/src/micro/port_linux.c @@ -372,7 +372,7 @@ int main(int argc, char **argv) { " TINYVM_MAX_MEMORY_WORDS maximum vm memory in words\n", stdout); return 0; } - if (argc > 1 && argv[1][0] == '-' && argv[1][1] == '-') { + if (argc > 1 && argv[1][0] == '-' && argv[1][1] == '-' && strcmp(argv[1], "--explain-checks")) { /* the compiler reads that one */ fprintf(stderr, "micro: unknown option %s; use --help for usage\n", argv[1]); return 2; } -- cgit v1.2.3