Merge pull request #2052 from KhronosGroup/fix-processed-def-undef-1829
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 8 Jan 2020 09:21:34 +0000 (02:21 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Jan 2020 09:21:34 +0000 (02:21 -0700)
Fix #1829: Allow "--" options for def/undef, for OpModuleProcessed.


Trivial merge