diff options
| author | Andrew Zonenberg <azonenberg@drawersteak.com> | 2016-12-23 12:32:55 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-23 12:32:55 -0800 |
| commit | 5ffede5c0e81b682268129b79f305733e11242be (patch) | |
| tree | a0e70a25f3b4090912866264431662de67e1f226 /kernel/driver.cc | |
| parent | a44cc7a3d1c21c37c7dfb88b92bb479389dfce16 (diff) | |
| parent | 9f69a70d746e7907eed494941bc89a18159caa1b (diff) | |
| download | yosys-5ffede5c0e81b682268129b79f305733e11242be.tar.gz yosys-5ffede5c0e81b682268129b79f305733e11242be.tar.bz2 yosys-5ffede5c0e81b682268129b79f305733e11242be.zip | |
Merge pull request #1 from azonenberg-hk/master
Pull changes from HK trip
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index f8d00c38d..3652ff4f1 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -218,6 +218,9 @@ int main(int argc, char **argv) printf(" yosys_dump_<header_id>.il is used as filename if none is specified.\n"); printf(" Use 'ALL' as <header_id> to dump at every header.\n"); printf("\n"); + printf(" -W regex\n"); + printf(" print a warning for all log messages matching the regex \n"); + printf("\n"); printf(" -V\n"); printf(" print version information and exit\n"); printf("\n"); @@ -238,7 +241,7 @@ int main(int argc, char **argv) } int opt; - while ((opt = getopt(argc, argv, "MXAQTVSm:f:Hh:b:o:p:l:L:qv:tds:c:D:")) != -1) + while ((opt = getopt(argc, argv, "MXAQTVSm:f:Hh:b:o:p:l:L:qv:tds:c:W:D:")) != -1) { switch (opt) { @@ -320,6 +323,12 @@ int main(int argc, char **argv) scriptfile = optarg; scriptfile_tcl = true; break; + case 'W': + log_warn_regexes.push_back(std::regex(optarg, + std::regex_constants::nosubs | + std::regex_constants::optimize | + std::regex_constants::egrep)); + break; case 'D': { auto args = split_tokens(optarg, ":"); |