diff options
Diffstat (limited to 'kernel/driver.cc')
| -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 9a81d8a4..cdf78460 100644 --- 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; |