diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 18:22:04 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 20:03:38 +0330 |
| commit | 459b7661aaa0d65d01be064bd4b9976c4f045a5c (patch) | |
| tree | eccb0738631fc52e5116fb238c2f7f961784ff36 /src/micro/port_linux.c | |
| parent | zy: nonzero exit on compile errors (diff) | |
bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code)
Diffstat (limited to 'src/micro/port_linux.c')
| -rw-r--r-- | src/micro/port_linux.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |