summaryrefslogtreecommitdiff
path: root/kernel/show.cc
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/show.cc')
-rw-r--r--kernel/show.cc9
1 files changed, 9 insertions, 0 deletions
diff --git a/kernel/show.cc b/kernel/show.cc
index e95d1317..244a4d08 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)