checkpoint: print index of new checkpoint in response message
authorPatrick Palka <patrick@parcs.ath.cx>
Fri, 14 Nov 2014 19:04:50 +0000 (14:04 -0500)
committerJoel Brobecker <brobecker@adacore.com>
Sun, 23 Nov 2014 09:58:06 +0000 (13:58 +0400)
This way the user can know the index of the latest checkpoint without
having to run "info checkpoints" afterwards.

gdb/ChangeLog:

* linux-fork.c (checkpoint_command): Print index of new
checkpoint in response message.


No differences found