Merge pull request #13043 from davmason/profiler_r2r
authorDavid Mason <davmason@microsoft.com>
Thu, 27 Jul 2017 19:46:56 +0000 (12:46 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2017 19:46:56 +0000 (12:46 -0700)
don't use r2r images when the profiler requests that ngen images are disabled


Trivial merge