diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2025-09-23 13:27:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-23 13:27:47 -0700 |
| commit | 796ea80a0309002f7a4c959416b4b2cf67bf4a27 (patch) | |
| tree | e89fd20f97c5669601efcb7b8d5c180a58b5cc78 /docs/update_spirv.md | |
| parent | d61d6b57dfb0788ebf3449bfde6db288fe4e44a8 (diff) | |
Enhance SPIRV-Headers update instructions
Added instructions to retrieve the hash value of spirv-headers.
Diffstat (limited to 'docs/update_spirv.md')
| -rw-r--r-- | docs/update_spirv.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/update_spirv.md b/docs/update_spirv.md index 50ec7859b..442924985 100644 --- a/docs/update_spirv.md +++ b/docs/update_spirv.md @@ -55,6 +55,10 @@ cd ../.. git -C external/spirv-tools/external/spirv-headers log -1 --oneline git -C external/spirv-headers checkout [commit hash from the previous command] ``` + Alternatively you can get the hash value of spirv-headers with the following command, + ``` + grep spirv_headers_revision external/spirv-tools/DEPS + ``` Note that the update of SPIRV-Headers should be done after running `python3.exe utils\git-sync-deps`, because the python script will update `external/spirv-tools/external/spirv-headers` to whichever commit the current SPIRV-Tools depends on. |