1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 1d0559ac68..f08327e10e 100755
--- a/configure
+++ b/configure
@@ -5497,7 +5497,7 @@ case "$target_name" in
     echo "TARGET_ABI32=y" >> $config_target_mak
   ;;
   s390x)
-    gdb_xml_files="s390x-core64.xml s390-acr.xml s390-fpr.xml s390-vx.xml s390-cr.xml"
+    gdb_xml_files="s390x-core64.xml s390-acr.xml s390-fpr.xml s390-vx.xml s390-cr.xml s390-virt.xml"
   ;;
   tilegx)
   ;;