Merge pull request #948 from KhronosGroup/env-control
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 26 Jun 2017 21:46:36 +0000 (15:46 -0600)
committerGitHub <noreply@github.com>
Mon, 26 Jun 2017 21:46:36 +0000 (15:46 -0600)
Compilation-environment control


Trivial merge