Merge pull request #922 from KhronosGroup/dash-I
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 7 Jun 2017 22:04:29 +0000 (16:04 -0600)
committerGitHub <noreply@github.com>
Wed, 7 Jun 2017 22:04:29 +0000 (16:04 -0600)
Infrastructure: add include search paths (-I, etc.).
Fixes #921.


Trivial merge