diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-06-16 18:12:32 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-06-16 18:12:32 -0400 |
| commit | 4724d40e413c953b77ff4ff26d128a6a5daac874 (patch) | |
| tree | bddb6ca530c686050bd219500c25bb7dfd0e362c | |
| parent | 32e82fdbe333a5a2dbaab2b229f0540d0f9d812e (diff) | |
Support running with `tomo -lfoo file.tm`
| -rw-r--r-- | tomo.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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) |
