diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/common_codegen.py | 9 | ||||
| -rw-r--r-- | scripts/known_good.json | 4 |
2 files changed, 8 insertions, 5 deletions
diff --git a/scripts/common_codegen.py b/scripts/common_codegen.py index 9539db25..7fe51da2 100644 --- a/scripts/common_codegen.py +++ b/scripts/common_codegen.py @@ -68,10 +68,13 @@ platform_dict = { def GetFeatureProtect(interface): """Get platform protection string""" platform = interface.get('platform') - protect = None if platform is not None: - protect = platform_dict[platform] - return protect + return platform_dict[platform] + + provisional = interface.get('provisional') + if provisional == 'true': + return platform_dict['provisional'] + # helper to define paths relative to the repo root def repo_relative(path): diff --git a/scripts/known_good.json b/scripts/known_good.json index e59c83ca..4921a928 100644 --- a/scripts/known_good.json +++ b/scripts/known_good.json @@ -7,7 +7,7 @@ "sub_dir": "Vulkan-Headers", "build_dir": "Vulkan-Headers/build", "install_dir": "Vulkan-Headers/build/install", - "commit": "v1.4.307" + "commit": "v1.4.309" }, { "name": "MoltenVK", @@ -74,7 +74,7 @@ "cmake_options": [ "-DLOADER_USE_UNSAFE_FILE_SEARCH=ON" ], - "commit": "v1.4.307", + "commit": "v1.4.309", "build_platforms": [ "windows", "linux", |