[profiler] Remove the debug-coverage option.
authorAlex Rønne Petersen <alexrp@xamarin.com>
Wed, 12 Jul 2017 13:15:46 +0000 (15:15 +0200)
committerAlex Rønne Petersen <alexrp@xamarin.com>
Fri, 14 Jul 2017 10:59:27 +0000 (12:59 +0200)
commitae67391964df320b8be6348cf33cc6a39157c8c3
treea6997a73b7c8cbe65d7bbd0865e72f334d3230f2
parent776aba3f7ceb76102a9a3e01101254a6ecbb837d
[profiler] Remove the debug-coverage option.
mono/profiler/log-args.c
mono/profiler/log.c
mono/profiler/log.h