diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-01-30 12:32:59 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-01-30 12:32:59 +0100 |
commit | 672229eda5ba9768a0d67223a514d54dfef5534c (patch) | |
tree | cca30e974251bba2b219cd9678dc04e49746e218 /kernel | |
parent | 34b39ec28a81818cda0a77c448819ecbf9da3cce (diff) | |
download | yosys-672229eda5ba9768a0d67223a514d54dfef5534c.tar.gz yosys-672229eda5ba9768a0d67223a514d54dfef5534c.tar.bz2 yosys-672229eda5ba9768a0d67223a514d54dfef5534c.zip |
Added yosys -H for command list
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/driver.cc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 52f10752b..6d139f197 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"); |