On 07/24/2014 04:21 PM, Tom Tromey wrote: >>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: > > Pedro> Why not use catch_command_errors_const instead? > > I had just forgotten about its existence. > I've made the obvious fix here. Great, thanks. Thanks, Pedro Alves