diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-29 13:33:33 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-29 13:33:33 +0100 |
commit | ecd64182c5a3689ef293bccf032e1d7eecada91a (patch) | |
tree | 5f3d2043112291b43a0583c3fd95590cd68b4b60 /kernel/driver.cc | |
parent | 3ff0d04555c4467a2d9bcd5e754d82ede5bf84dd (diff) | |
download | yosys-ecd64182c5a3689ef293bccf032e1d7eecada91a.tar.gz yosys-ecd64182c5a3689ef293bccf032e1d7eecada91a.tar.bz2 yosys-ecd64182c5a3689ef293bccf032e1d7eecada91a.zip |
Added "yosys -X"
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 9a81d8a48..cdf784602 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; |