* contrib/ari/gdb_ari.sh (write_pc rule): Do not consider

	set_gdbarch_write_pc as deprecated anymore.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 40e2f9743fe635a093471e92a895c91823ed70f4..d3c4edcb14c2ad7852a37cddc0e844b65c9dc1f5 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-15  Pierre Muller  <muller@sourceware.org>
+
+       * contrib/ari/gdb_ari.sh (write_pc rule): Do not consider
+       set_gdbarch_write_pc as deprecated anymore.
+
 2013-04-15  Joel Brobecker  <brobecker@adacore.com>
 
        * spu-tdep.c (spu_write_pc): Add empty line after local variable

diff --git a/gdb/contrib/ari/gdb_ari.sh b/gdb/contrib/ari/gdb_ari.sh
index b0fdbf483928dab08f3ab2ec28abb4abde5aae1d..21b6f96b563f1ea5e8b6f62248eb59a950ef5fd6 100644 (file)
--- a/gdb/contrib/ari/gdb_ari.sh
+++ b/gdb/contrib/ari/gdb_ari.sh
@@ -1040,7 +1040,6 @@ a DECR_PC_AFTER_BREAK"
     category["write_pc"] = ari_deprecate
 }
 /(^|[^_[:alnum:]])write_pc[[:space:]]*\(/ || \
-/(^|[^_[:alnum:]])set_gdbarch_write_pc[[:space:]]*\(/ || \
 /(^|[^_[:alnum:]])TARGET_WRITE_PC[[:space:]]*\(/ {
     fail("write_pc")
 }