diff options
| author | Claire Wolf <clifford@clifford.at> | 2020-01-28 17:51:50 +0100 |
|---|---|---|
| committer | Claire Wolf <clifford@clifford.at> | 2020-01-28 17:51:50 +0100 |
| commit | 5c2508cef82d86cebff3d008962fde6a0e49d10e (patch) | |
| tree | 2fd10b32730d68f6c8de19ffde1f59d21a1cee2c /kernel/driver.cc | |
| parent | cef607c8b77803aa1236d250da4ca6841f78a4ea (diff) | |
| download | yosys-5c2508cef82d86cebff3d008962fde6a0e49d10e.tar.gz yosys-5c2508cef82d86cebff3d008962fde6a0e49d10e.tar.bz2 yosys-5c2508cef82d86cebff3d008962fde6a0e49d10e.zip | |
Improve logging use of experimental features
Signed-off-by: Claire Wolf <clifford@clifford.at>
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index acbf6b55d..9040408bc 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -459,7 +459,7 @@ int main(int argc, char **argv) depsfile = optarg; break; case 'x': - log_experimentals.insert(optarg); + log_experimentals_ignored.insert(optarg); break; default: fprintf(stderr, "Run '%s -h' for help.\n", argv[0]); @@ -573,6 +573,10 @@ int main(int argc, char **argv) if (log_warnings_count) log("Warnings: %d unique messages, %d total\n", GetSize(log_warnings), log_warnings_count); + + if (!log_experimentals.empty()) + log("Warnings: %d experimental features used (not excluded with -x).\n", GetSize(log_experimentals)); + #ifdef _WIN32 log("End of script. Logfile hash: %s\n", hash.c_str()); #else |