diff options
Diffstat (limited to '.gdbinit')
-rw-r--r-- | .gdbinit | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -335,6 +335,9 @@ define rp_id if $id == idLTLT printf "(:<<)\n" else + if $id == idGTGT + printf "(:>>)\n" + else if $id == idLE printf "(:<=)\n" else @@ -362,6 +365,18 @@ define rp_id if $id == idASET printf "(:[]=)\n" else + if $id == idCOLON2 + printf "(:'::')\n" + else + if $id == idANDOP + printf "(:&&)\n" + else + if $id == idOROP + printf "(:||)\n" + else + if $id == idANDDOT + printf "(:&.)\n" + else if $id <= tLAST_OP_ID printf "O" else @@ -416,6 +431,11 @@ define rp_id end end end + end + end + end + end + end end document rp_id Print an ID. |