[jit] Profiler argument handling changes (#10885)
commit14b061ba65815d4580078e93c4f2df77ec84b882
authorZoltan Varga <vargaz@gmail.com>
Mon, 22 Oct 2018 12:45:43 +0000 (22 14:45 +0200)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Mon, 22 Oct 2018 12:45:43 +0000 (22 08:45 -0400)
tree4806243cc69a686b29e256c318bcca591f52b846
parentbf6a1edf75eb70944c3a75f7e1d69e87499fef24
[jit] Profiler argument handling changes (#10885)

[jit] Profiler argument handling changes