Infrastructure: Make shared symbol-table cache complete, delete work around.

Fixes issue #370 and replaces PR #371.
This commit is contained in:
John Kessenich 2016-08-09 19:15:17 -06:00
parent 0b5214486b
commit 0a6fb85494
4 changed files with 43 additions and 54 deletions

View file

@ -2,5 +2,5 @@
// For the version, it uses the latest git tag followed by the number of commits.
// For the date, it uses the current date (when then script is run).
#define GLSLANG_REVISION "SPIRV99.1394"
#define GLSLANG_DATE "08-Aug-2016"
#define GLSLANG_REVISION "SPIRV99.1396"
#define GLSLANG_DATE "09-Aug-2016"