diff options
| author | Mike Schuchardt <mikes@lunarg.com> | 2023-06-16 11:38:00 -0700 |
|---|---|---|
| committer | Charles Giessen <46324611+charles-lunarg@users.noreply.github.com> | 2023-06-16 14:14:59 -0600 |
| commit | 98fe631044dfde2841b7b4204adb22b72627bd4f (patch) | |
| tree | 2665a590b976feeba73d65552fdf367b6b2092ec /scripts/generate_source.py | |
| parent | 17edcc1455855055b8aa5b898aca86f94d35d9d5 (diff) | |
| download | usermoji-98fe631044dfde2841b7b4204adb22b72627bd4f.tar.xz | |
build: Update to header 1.3.254
- Update known-good
- Generate source
- Only build vulkaninfo and mockicd with -DVK_ENABLE_BETA_EXTENSIONS instead of
the entire repo
Diffstat (limited to 'scripts/generate_source.py')
0 files changed, 0 insertions, 0 deletions