Use filtered output in *-tdep commands
Various targets introduce their own commands, which then use unfiltered output. It's better to use filtered output by default, so this patch fixes the instances I found.
parent
7f762abf
Please register or sign in to comment