Merge pull request #14797 from BruceForstall/FixBuildCmdPriorityHandling
authorBruce Forstall <brucefo@microsoft.com>
Thu, 2 Nov 2017 18:08:11 +0000 (11:08 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2017 18:08:11 +0000 (11:08 -0700)
Fix handling of `-priority=N` argument in build.cmd


Trivial merge