diff --git a/src/clobber/clobber_parse_options.cpp b/src/clobber/clobber_parse_options.cpp index fe5886721a0..80b9725b8f2 100644 --- a/src/clobber/clobber_parse_options.cpp +++ b/src/clobber/clobber_parse_options.cpp @@ -136,9 +136,15 @@ int clobber_parse_optionst::doit() } // show it? - if(cmdline.isset("show-goto-functions")) + if( + cmdline.isset("show-goto-functions") || + cmdline.isset("list-goto-functions")) { - show_goto_functions(goto_model, get_ui()); + show_goto_functions( + goto_model, + get_message_handler(), + ui_message_handler.get_ui(), + cmdline.isset("list-goto-functions")); return 6; }