commit 2d39538faaf814cf16e8372e021e3b1424a99ac5
author GregF <greg@LunarG.com> Fri Jun 17 12:26:49 2016 -0600
committer GregF <greg@LunarG.com> Fri Jun 17 12:29:16 2016 -0600
tree 2321674b34d77086aaa532eb92ab698d842e6de4
parent c35735a67ec8ae124c0db7ee4717584d02c2c6d7

update_external_sources.sh: now get spirv-tools headers from Khronos/SPIRV-Headers

update_external_sources.sh

diff --git a/update_external_sources.sh b/update_external_sources.sh
index 4c1a6f9..b6128f9 100755
--- a/update_external_sources.sh
+++ b/update_external_sources.sh
@@ -34,6 +34,9 @@
    cd $BASEDIR/spirv-tools
    git clone https://github.com/KhronosGroup/SPIRV-Tools.git .
    git checkout $SPIRV_TOOLS_REVISION
+   mkdir -p $BASEDIR/spirv-tools/external/spirv-headers
+   cd $BASEDIR/spirv-tools/external/spirv-headers
+   git clone https://github.com/KhronosGroup/SPIRV-Headers .
 }
 
 function update_spirv-tools () {
@@ -41,6 +44,15 @@
    cd $BASEDIR/spirv-tools
    git fetch --all
    git checkout $SPIRV_TOOLS_REVISION
+   if [ ! -d "$BASEDIR/spirv-tools/external/spirv-headers" -o ! -d "$BASEDIR/spirv-tools/external/spirv-headers/.git" ]; then
+      mkdir -p $BASEDIR/spirv-tools/external/spirv-headers
+      cd $BASEDIR/spirv-tools/external/spirv-headers
+      git clone https://github.com/KhronosGroup/SPIRV-Headers .
+   else
+      cd $BASEDIR/spirv-tools/external/spirv-headers
+      git fetch --all
+      git pull
+   fi
 }
 
 function build_glslang () {