diff options
Diffstat (limited to 'gdb/contrib')
| -rw-r--r-- | gdb/contrib/ari/gdb_ari.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/contrib/ari/gdb_ari.sh b/gdb/contrib/ari/gdb_ari.sh index b0fdbf48392..21b6f96b563 100644 --- 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") } |