diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2025-06-30 18:43:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-30 23:43:16 +0000 |
| commit | ca21304d0bca7fdde9f5ab3f23129a553dd2408b (patch) | |
| tree | 86cca911bbadc6c3578ffb03e51c5b3111e5793f /.gitmodules | |
| parent | 7a6a455f182722a42fcba5a2fc57c0cd524c4764 (diff) | |
fix spirv-opt bug (#7565)
Close #7491.
As the PR KhronosGroup/SPIRV-Tools#6198 is already merged, we can
switch spirv-tools repo to upstream repo now.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index c0f57856b..16c95786d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -15,7 +15,7 @@ url = https://github.com/shader-slang/slang-binaries [submodule "external/spirv-tools"] path = external/spirv-tools - url = https://github.com/shader-slang/SPIRV-Tools.git + url = https://github.com/KhronosGroup/SPIRV-Tools.git [submodule "external/spirv-headers"] path = external/spirv-headers url = https://github.com/KhronosGroup/SPIRV-Headers.git |