aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-06-16 18:12:32 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-06-16 18:12:32 -0400
commit4724d40e413c953b77ff4ff26d128a6a5daac874 (patch)
treebddb6ca530c686050bd219500c25bb7dfd0e362c
parent32e82fdbe333a5a2dbaab2b229f0540d0f9d812e (diff)
Support running with `tomo -lfoo file.tm`
-rw-r--r--tomo.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/tomo.c b/tomo.c
index 182a1fef..9b8d696a 100644
--- a/tomo.c
+++ b/tomo.c
@@ -280,6 +280,8 @@ int main(int argc, char *argv[])
}
return 0;
} else {
+ while (after_flags < argc && strncmp(argv[after_flags], "-l", 2) == 0)
+ ++after_flags;
const char *filename = argv[after_flags];
int executable_status = compile_executable(env, filename, object_files);
if (mode == MODE_COMPILE_EXE || executable_status != 0)