[profiler] Fix vtune build (#13390)
commit620a46d8f2f98e776be66075571c60c08a3be5db
authorVlad Brezae <brezaevlad@gmail.com>
Thu, 14 Mar 2019 15:19:47 +0000 (14 17:19 +0200)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Thu, 14 Mar 2019 15:19:47 +0000 (14 11:19 -0400)
tree14740008503f1867a37bf74ee9e2c2c3d45d32fc
parentc194209317df1d7d7d6945060e018dbbbfd5a961
[profiler] Fix vtune build (#13390)

[profiler] Fix vtune build
mono/profiler/vtune.c