Merge pull request #12235 from BruceForstall/FixSuperPmiCollect
authorBruce Forstall <brucefo@microsoft.com>
Tue, 13 Jun 2017 16:50:40 +0000 (09:50 -0700)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2017 16:50:40 +0000 (09:50 -0700)
Fix SuperPMI collection script to allow passing arch/flavor args


Trivial merge