tree 07d372c02dcfa58089c9d584aed90df7a3c94ab6
parent 82da15f4f07ebf8eb27bdd102b5dd5a7f4a70c84
author John Kessenich <cepheus@frii.com> 1582899059 -0700
committer John Kessenich <cepheus@frii.com> 1582899059 -0700

Fix #1461: set the SPIRV-Tools' optimizer's target environment.