[profiler] Don't emit sync point on restart the world unless gc moves are enabled.
commit4b9d0677c98fd0bd8f6e0cd3d331ae6090a3cdb4
authorRodrigo Kumpera <kumpera@gmail.com>
Tue, 13 Jun 2017 19:53:31 +0000 (13 12:53 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Tue, 13 Jun 2017 19:53:31 +0000 (13 12:53 -0700)
treef6fe9a082345c7a9acd84ae849c5d1c0c5cf649f
parent6ccea37726907a4736d538f4823fb5dd193621d4
[profiler] Don't emit sync point on restart the world unless gc moves are enabled.
mono/profiler/log.c