Merge pull request #1301 from dj2/roll_deps

Roll GLSLang, SPIRV-Tools and SPIRV-Headers
This commit is contained in:
Hans-Kristian Arntzen 2020-03-30 21:58:28 +02:00 committed by GitHub
commit 84ec99c531
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 4 deletions

View File

@ -1,8 +1,8 @@
#!/bin/bash
GLSLANG_REV=c008fcb8cc0f6a413162fb5236d0c548cc1e0ef6
SPIRV_TOOLS_REV=79f8caf9154a0328a87424354bd10ab69e811185
SPIRV_HEADERS_REV=5dbc1c32182e17b8ab8e8158a802ecabaf35aad3
GLSLANG_REV=344bd0889ac98c5369df2bf359d0369e3d235b62
SPIRV_TOOLS_REV=fd773eb50d628c1981338addc093df879757c2cf
SPIRV_HEADERS_REV=f8bf11a0253a32375c32cad92c841237b96696c0
if [ -z $PROTOCOL ]; then
PROTOCOL=git

View File

@ -5,6 +5,5 @@ void main()
{
demote;
bool _9 = helperInvocationEXT();
bool helper = _9;
}