3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-17 12:45:44 +00:00

Merge branch 'YosysHQ:main' into main

This commit is contained in:
Akash Levy 2025-04-28 13:57:29 -07:00 committed by GitHub
commit 618cf9d372
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 327 additions and 2 deletions

View file

@ -314,7 +314,7 @@ int main(int argc, char **argv)
auto result = options.parse(argc, argv);
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("Q")) print_banner = false;
if (result.count("T")) print_stats = false;