fi
;;
# start-sanitize-sky
- txvu-*-elf* | dvp-*-elf*)
+ txvu-*-elf*)
noconfigdirs="$noconfigdirs gcc"
noconfigdirs="$noconfigdirs target-newlib target-libgloss target-libiberty"
noconfigdirs="$noconfigdirs target-librx target-libg++ target-libstdc++ target-libio"
;;
+ dvp-*-elf*)
+ noconfigdirs="$noconfigdirs gcc gdb sim"
+ noconfigdirs="$noconfigdirs target-newlib target-libgloss target-libiberty"
+ noconfigdirs="$noconfigdirs target-librx target-libg++ target-libstdc++ target-libio"
+ ;;
# end-sanitize-sky
v810-*-*)
noconfigdirs="$noconfigdirs bfd binutils gas gcc gdb ld target-libio target-libg++ target-libstdc++ opcodes target-libgloss"