diff options
| -rw-r--r-- | kernel/driver.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 02e332f90..a41d0e8cb 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -183,8 +183,8 @@ int main(int argc, char **argv) printf(" -b backend\n"); printf(" use this backend for the output file specified on the command line\n"); printf("\n"); - printf(" -f backend\n"); - printf(" use the specified front for the input files on the command line\n"); + printf(" -f frontend\n"); + printf(" use the specified frontend for the input files on the command line\n"); printf("\n"); printf(" -H\n"); printf(" print the command list\n"); |