diff --git a/configure.in b/configure.in
index ea4c33047d0..60f81a8c0db 100644
--- a/configure.in
+++ b/configure.in
@@ -749,11 +749,16 @@ case "${target}" in
     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"