From 73870c1edfb72a402d69394b5dc6b0a7dd5bb596 Mon Sep 17 00:00:00 2001 From: Sebastian Kuzminsky Date: Sat, 26 Mar 2016 11:15:35 -0600 Subject: [PATCH] fix a cut-n-paste error in the -h help --- kernel/driver.cc | 4 ++-- 1 file 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"); -- 2.30.2