diff options
| -rw-r--r-- | kernel/show.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/kernel/show.cc b/kernel/show.cc index e95d13171..244a4d08e 100644 --- a/kernel/show.cc +++ b/kernel/show.cc @@ -459,6 +459,15 @@ struct ShowPass : public Pass { } extra_args(args, argidx, design); + if (format != "ps") { + int modcount = 0; + for (auto &mod_it : design->modules) + if (design->selected_module(mod_it.first)) + modcount++; + if (modcount > 1) + log_cmd_error("For formats different than 'ps' only one module must be selected.\n"); + } + for (auto filename : libfiles) { FILE *f = fopen(filename.c_str(), "rt"); if (f == NULL) |