diff options
| author | Mark Young <marky@lunarg.com> | 2016-08-11 08:46:55 -0600 |
|---|---|---|
| committer | Mark Young <marky@lunarg.com> | 2016-08-11 16:02:09 -0600 |
| commit | 90b1a11858607850d1062e4286851a28c0f136fc (patch) | |
| tree | 315a3ea4354e556cb6c29e9b29444686b699c16b /spirv-headers_revision | |
| parent | 956b832a152c2c97d6591aa6d735f4cdfc8d9e51 (diff) | |
spirv-headers : Add file to restrict to commit
Restrict spirv-headers to a specific commit (just as we do to
spirv-tools and glslang) by creating a new file
(spirv-headers_revision) to track the commit we want to
syncrhonize to. Also update the update_external_sources scripts
to use it. This will make sure that we don't run into the
scenario where spirv-tools and spirv-headers are incompatible.
Change-Id: Ia4fdd921a5c1c500d7f751db08b6998b3d704f2d
Diffstat (limited to 'spirv-headers_revision')
| -rw-r--r-- | spirv-headers_revision | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spirv-headers_revision b/spirv-headers_revision new file mode 100644 index 00000000..74846cc5 --- /dev/null +++ b/spirv-headers_revision @@ -0,0 +1 @@ +3814effb879ab5a98a7b9288a4b4c7849d2bc8ac |