Merge pull request #6400 from Priya91/useruntool
authorLakshmi Priya <Priya91@users.noreply.github.com>
Mon, 1 Aug 2016 03:38:06 +0000 (20:38 -0700)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2016 03:38:06 +0000 (20:38 -0700)
Use run tool in coreclr dev workflow.


Trivial merge