Browse Source

[spirv] Update SPIRV-Tools (#1084)

This is for both bugfixes and performace improvements.
Lei Zhang 7 years ago
parent
commit
db62d63125
1 changed files with 1 additions and 1 deletions
  1. 1 1
      external/SPIRV-Tools

+ 1 - 1
external/SPIRV-Tools

@@ -1 +1 @@
-Subproject commit 5d442fad2f00fcca8354aaaa9bfd36be8c418a1b
+Subproject commit 6c75050136a2657dac4501ca16d447852fc69e5f