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)
commitb38cfeb7b14de9ce182f06b8840f1ccd80ec0095
tree7377892697949c8dfe068305672601c5ca7d9441
parent6c99e9ed55429545624a0932897d9686fa582fb1
parent81f16e41fed6f2d5c21268d5aecf37352493a7a3
Merge pull request #12528 from pgavlin/NoPgoOption

Add a flag to build.{sh,cmd} to disable PGO.