>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> This patch fixes the problem by using a generic function as the Tom> implementation of the various "target" subcommands, and then putting Tom> the debug printing there. Later I happened to notice that add_deprecated_target_alias could use the same treatment. I'll send the new patch tomorrow. Tom