Added "yosys -X"

[yosys.git] / kernel / driver.cc

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 9a81d8a4879bb8d2f2bf0804af58d9dd0a3d361e..cdf78460251aa830a11433bdd7ae95dac2d6dc13 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -151,6 +151,9 @@ int main(int argc, char **argv)
                printf("    -m module_file\n");
                printf("        load the specified module (aka plugin)\n");
                printf("\n");
+               printf("    -X\n");
+               printf("        enable tracing of core data structure changes. for debugging\n");
+               printf("\n");
                printf("    -M\n");
                printf("        will slightly randomize allocated pointer addresses. for debugging\n");
                printf("\n");
@@ -177,13 +180,16 @@ int main(int argc, char **argv)
        }
 
        int opt;
-       while ((opt = getopt(argc, argv, "MAQTVSm:f:Hh:b:o:p:l:qv:tds:c:")) != -1)
+       while ((opt = getopt(argc, argv, "MXAQTVSm:f:Hh:b:o:p:l:qv:tds:c:")) != -1)
        {
                switch (opt)
                {
                case 'M':
                        memhasher_on();
                        break;
+               case 'X':
+                       yosys_xtrace++;
+                       break;
                case 'A':
                        call_abort = true;
                        break;