projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: abd2d39 1025d82)
Merge pull request #5180 from alexrp/profiler-zero-freq
authorAlex Rønne Petersen <alex@alexrp.com>
Fri, 7 Jul 2017 18:48:40 +0000 (20:48 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 18:48:40 +0000 (20:48 +0200)
[profiler] Don't enable sampling if frequency is zero.

1  2 
mono/profiler/log-args.c patch | diff1 | diff2 | blob | history

diff --cc mono/profiler/log-args.c
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono