Merge pull request #1369 from greg-lunarg/kg18

Update spirv-opt known-good
2018-05-04 21:19:29 -06:00 · 2018-05-04 21:19:29 -06:00 · 115c3b1469
--- a/known_good.json
+++ b/known_good.json
@ -5,7 +5,7 @@
      "site" : "github",
      "subrepo" : "KhronosGroup/SPIRV-Tools",
      "subdir" : "External/spirv-tools",
-      "commit" : "c20a718e00876a91c868858e367b8f150a8d595a"
+      "commit" : "a00a0a09ae5dab8ef15073ceb40542c162767798"
    },
    {
      "name" : "spirv-tools/external/spirv-headers",