projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6c99e9e 81f16e4)
Merge pull request #12528 from pgavlin/NoPgoOption
authorPat Gavlin <pgavlin@gmail.com>
Thu, 29 Jun 2017 00:15:59 +0000 (17:15 -0700)
committerGitHub <noreply@github.com>
Thu, 29 Jun 2017 00:15:59 +0000 (17:15 -0700)
Add a flag to build.{sh,cmd} to disable PGO.


Trivial merge
Domain: Dotnet / Core;