3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-28 19:35:53 +00:00

Merge pull request #5061 from YosysHQ/emil/fix-driver-xtrace

driver: fix -XX xtrace backtrace level
This commit is contained in:
Emil J 2025-04-28 10:31:40 +02:00 committed by GitHub
commit ab614b1271
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -314,7 +314,7 @@ int main(int argc, char **argv)
auto result = options.parse(argc, argv); auto result = options.parse(argc, argv);
if (result.count("M")) memhasher_on(); if (result.count("M")) memhasher_on();
if (result.count("X")) yosys_xtrace++; if (result.count("X")) yosys_xtrace += result.count("X");
if (result.count("A")) call_abort = true; if (result.count("A")) call_abort = true;
if (result.count("Q")) print_banner = false; if (result.count("Q")) print_banner = false;
if (result.count("T")) print_stats = false; if (result.count("T")) print_stats = false;