aboutsummaryrefslogtreecommitdiff
path: root/src/clients/cave/cmd_print_commands.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/clients/cave/cmd_print_commands.cc')
-rw-r--r--src/clients/cave/cmd_print_commands.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/clients/cave/cmd_print_commands.cc b/src/clients/cave/cmd_print_commands.cc
index 98de969ac..f32c0c590 100644
--- a/src/clients/cave/cmd_print_commands.cc
+++ b/src/clients/cave/cmd_print_commands.cc
@@ -92,6 +92,8 @@ PrintCommandsCommand::run(
if (! cmdline.a_all.specified() && ! instance->importance() == ci_core)
continue;
+ if (instance->importance() == ci_ignore)
+ continue;
cout << stringify(*cmd) << endl;
}