Added yosys -H for command list

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 52f10752bfd90bf2724441851e833d6fef7cc2ec..6d139f19710f4464d4c22ec00f47aa8d4d25688f 100644 (file)
--- 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");