aboutsummaryrefslogtreecommitdiff
path: root/src/tomo.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/tomo.c')
-rw-r--r--src/tomo.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/tomo.c b/src/tomo.c
index c8e2fa70..4d6b4bef 100644
--- a/src/tomo.c
+++ b/src/tomo.c
@@ -174,7 +174,6 @@ int main(int argc, char *argv[])
" --quiet|-q: quiet output\n"
" --parse|-p: show parse tree\n"
" --install|-I: install the executable or library\n"
- " --c-compiler <compiler>: the C compiler to use (default: "DEFAULT_C_COMPILER")\n"
" --optimization|-O <level>: set optimization level\n"
" --run|-r: run a program from " TOMO_HOME "/installed\n"
);
@@ -204,7 +203,6 @@ int main(int argc, char *argv[])
{"C", false, &Text$info, &show_codegen},
{"install", false, &Bool$info, &should_install},
{"I", false, &Bool$info, &should_install},
- {"c-compiler", false, &Text$info, &cc},
{"optimization", false, &Text$info, &optimization},
{"O", false, &Text$info, &optimization},
{"force-rebuild", false, &Bool$info, &clean_build},