summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-01-30 12:32:59 +0100
committerClifford Wolf <clifford@clifford.at>2014-01-30 12:32:59 +0100
commit672229eda5ba9768a0d67223a514d54dfef5534c (patch)
treecca30e974251bba2b219cd9678dc04e49746e218 /kernel
parent34b39ec28a81818cda0a77c448819ecbf9da3cce (diff)
Added yosys -H for command list
Diffstat (limited to 'kernel')
-rw-r--r--kernel/driver.cc8
1 files changed, 7 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc
index 52f10752..6d139f19 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -473,7 +473,7 @@ int main(int argc, char **argv)
}
int opt;
- while ((opt = getopt(argc, argv, "VSm:f:h:b:o:p:l:qv:ts:c:")) != -1)
+ while ((opt = getopt(argc, argv, "VSm:f:Hh:b:o:p:l:qv:ts:c:")) != -1)
{
switch (opt)
{
@@ -499,6 +499,9 @@ int main(int argc, char **argv)
case 'f':
frontend_command = optarg;
break;
+ case 'H':
+ passes_commands.push_back("help");
+ break;
case 'h':
passes_commands.push_back(stringf("help %s", optarg));
break;
@@ -563,6 +566,9 @@ int main(int argc, char **argv)
fprintf(stderr, " -f backend\n");
fprintf(stderr, " use the specified front for the input files on the command line\n");
fprintf(stderr, "\n");
+ fprintf(stderr, " -H\n");
+ fprintf(stderr, " print the command list\n");
+ fprintf(stderr, "\n");
fprintf(stderr, " -h command\n");
fprintf(stderr, " print the help message for the specified command\n");
fprintf(stderr, "\n");