Print time passed since GC initialization in GC_dump
authorPaul Bone <paul@bone.id.au>
Sun, 29 Oct 2017 07:39:31 +0000 (10:39 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Sun, 29 Oct 2017 08:14:35 +0000 (11:14 +0300)
commitc368a45ab5655bd8a198f3e63c582ae908ec0d89
tree6a6a3d806ede90b707e069b9ffb424e705ffec3e
parentbeba60e49d227df6b8080b2c8c640c7e16bce5ce
Print time passed since GC initialization in GC_dump

Issue #139 (bdwgc).

* misc.c [!NO_DEBUGGING && !NO_CLOCK] (GC_init_time): New static
variable.
* misc.c [!NO_DEBUGGING && !NO_CLOCK] (GC_init): Set GC_init_time.
* misc.c [!NO_DEBUGGING && !NO_CLOCK] (GC_dump_named): Define
current_time local variable; print the time since GC initialization
(in milliseconds); add comment.
misc.c