[jit] Profiler argument handling changes (#10885)
commitd58bf0bf41658788f360743295e05b14868accb1
authorZoltan Varga <vargaz@gmail.com>
Mon, 22 Oct 2018 08:06:03 +0000 (22 10:06 +0200)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Mon, 22 Oct 2018 08:06:03 +0000 (22 04:06 -0400)
tree39a332b68adb850b0e389cca7f94f7f4de1694f7
parentd7705f3fa54680a88461c00fc21f0527d450bae6
[jit] Profiler argument handling changes (#10885)

[jit] Profiler argument handling changes