Make print_target_wait_results print the whole ptid
authorPedro Alves <palves@redhat.com>
Mon, 30 Mar 2015 16:02:01 +0000 (17:02 +0100)
committerPedro Alves <palves@redhat.com>
Wed, 1 Apr 2015 14:21:47 +0000 (15:21 +0100)
commit1176ecec7082b4d6b4a3d965ef77726899c9eda2
treee68d922a1f3ad6aeebec1b0905daa25e2180c03d
parentde1fe8c8ab7f67856d9f2e2c5aa491cec01d3e85
Make print_target_wait_results print the whole ptid

Makes "set debug infrun 1" a bit clearer.  Before:

infrun: target_wait (-1, status) =
 infrun:   6299 [Thread 0x7ffff7fc1700 (LWP 6340)],

after:

 infrun: target_wait (-1.0.0, status) =
 infrun:   7233.7237.0 [Thread 0x7ffff7fc1700 (LWP 7237)],

gdb/ChangeLog:
2015-04-01  Pedro Alves  <palves@redhat.com>

* infrun.c (print_target_wait_results): Print all the ptid
elements.
gdb/ChangeLog
gdb/infrun.c