Delete gdb/regformats/microblaze.dat
authorPedro Alves <palves@redhat.com>
Wed, 15 Oct 2014 15:21:59 +0000 (16:21 +0100)
committerPedro Alves <palves@redhat.com>
Wed, 15 Oct 2014 15:21:59 +0000 (16:21 +0100)
This file:

 - Isn't used by GDBserver currently.

 - Isn't included in the WHICH list in features/Makefile, so hasn't
   been regenerated to pick the latest microblaze or generic fixes.

Just delete it.

gdb/
2014-10-15  Pedro Alves  <palves@redhat.com>

* regformats/microblaze.dat: Delete file.

gdb/ChangeLog
gdb/regformats/microblaze.dat [deleted file]

index 0d22b51ddb3a92da606eacad4245b2936537c5ca..977590a9f116b4875f4954a7675ae3e255d12244 100644 (file)
@@ -1,3 +1,7 @@
+2014-10-15  Pedro Alves  <palves@redhat.com>
+
+       * regformats/microblaze.dat: Delete file.
+
 2014-10-15  Ajit Agarwal  <ajitkum@xilinx.com>
 
        * features/Makefile (microblaze-expedite): Replace pc with rpc.
diff --git a/gdb/regformats/microblaze.dat b/gdb/regformats/microblaze.dat
deleted file mode 100644 (file)
index fbc3edb..0000000
+++ /dev/null
@@ -1,61 +0,0 @@
-# DO NOT EDIT: generated from microblaze.xml
-name:microblaze
-xmltarget:microblaze.xml
-expedite:r1,pc
-32:r0
-32:r1
-32:r2
-32:r3
-32:r4
-32:r5
-32:r6
-32:r7
-32:r8
-32:r9
-32:r10
-32:r11
-32:r12
-32:r13
-32:r14
-32:r15
-32:r16
-32:r17
-32:r18
-32:r19
-32:r20
-32:r21
-32:r22
-32:r23
-32:r24
-32:r25
-32:r26
-32:r27
-32:r28
-32:r29
-32:r30
-32:r31
-32:rpc
-32:rmsr
-32:rear
-32:resr
-32:rfsr
-32:rbtr
-32:rpvr0
-32:rpvr1
-32:rpvr2
-32:rpvr3
-32:rpvr4
-32:rpvr5
-32:rpvr6
-32:rpvr7
-32:rpvr8
-32:rpvr9
-32:rpvr10
-32:rpvr11
-32:redr
-32:rpid
-32:rzpr
-32:rtlbx
-32:rtlbsx
-32:rtlblo
-32:rtlbhi