1 files changed, 4 insertions, 1 deletions
diff --git a/main.c b/main.c
index 36c16e9..9e8bf70 100644
--- a/main.c
+++ b/main.c
@@ -10,6 +10,7 @@ StringArray include_paths;
 bool opt_fcommon = false;
 bool opt_fpic;
 bool opt_line_numbers;
+bool opt_type_builtins;
 
 static FILE *open_file(char *path) {
   if (!path || strcmp(path, "-") == 0)
@@ -68,9 +69,11 @@ int main(int argc, char **argv) {
   for (int i = 1; i < argc; i++) {
     if (!strcmp(argv[i], "--line-numbers")) {
       opt_line_numbers = 1;
+    } else if (!strcmp(argv[i], "--type-builtins")) {
+      opt_type_builtins = 1;
     } else {
       assert(!base_file);
-      base_file = argv[1];
+      base_file = argv[i];
     }
   }
   cc1(base_file);