diff options
| author | Máté Ferenc Nagy-Egri <mate@rastergrid.com> | 2024-10-28 15:34:12 +0100 |
|---|---|---|
| committer | Charles Giessen <46324611+charles-lunarg@users.noreply.github.com> | 2024-10-28 09:57:25 -0600 |
| commit | e94085e2167e33b6b18474da24ff18f46bc56976 (patch) | |
| tree | 5ea54a4b7387a4f62305d0de7f835d5d32b2c95a /scripts | |
| parent | 7a963034352e8c0dfddd97380e5f328bc471c996 (diff) | |
| download | usermoji-e94085e2167e33b6b18474da24ff18f46bc56976.tar.xz | |
scripts: Fix user self-hosting dependency in update_deps.py
The documentation states that users can override where to take a
dependency from via variables like VULKAN_HEADERS_INSTALL_DIR, however
the helper.cmake written by the scripts/CMakeLists.txt FORCE updates
the cache variable to the location inside known_good.json, practically
overwriting the user-provided path given on the CLI using -D, also
going into the cache.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_deps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update_deps.py b/scripts/update_deps.py index 24d125a9..47810a00 100755 --- a/scripts/update_deps.py +++ b/scripts/update_deps.py @@ -622,7 +622,7 @@ def CreateHelper(args, repos, filename): if repo.api is not None and repo.api != args.api: continue if install_names and repo.name in install_names and repo.on_build_platform: - helper_file.write('set({var} "{dir}" CACHE STRING "" FORCE)\n' + helper_file.write('set({var} "{dir}" CACHE STRING "")\n' .format( var=install_names[repo.name], dir=escape(repo.install_dir))) |