-# start-sanitize-vr5400
-mips64*vr5400*el-*-elf*) gdb_target=vr5000el ;;
-mips64*vr5400*-*-elf*) gdb_target=vr5000
- configdirs="${configdirs} gdbserver" ;;
-# end-sanitize-vr5400
-# start-sanitize-sky
-mips64*r5900*-sky-elf*) gdb_target=txvu ;;
-# end-sanitize-sky
-# start-sanitize-r5900
-mips64*r5900*-*-elf*) gdb_target=r5900 ;;
-# end-sanitize-r5900
-# start-sanitize-tx19
-mips-tx19*el-* | mips*tx19*el-*-*)
- gdb_target=tx19l ;;
-mips-tx19*-* | mips*tx19*-*-*)
- gdb_target=tx19 ;;
-# end-sanitize-tx19