diff options
| author | Mike Schuchardt <mikes@lunarg.com> | 2025-02-21 10:16:47 -0800 |
|---|---|---|
| committer | Mike Schuchardt <mikes@lunarg.com> | 2025-02-21 11:53:11 -0800 |
| commit | 176fef0bccaba8bdf51de54ab4eed8d5d9aaac77 (patch) | |
| tree | 4e5b07a544e4e2c2cc8d80cf9dac103a8829751c /scripts/common_codegen.py | |
| parent | dbe142e8f3a7f11478c2e4741c0d4c4b748fce4b (diff) | |
| download | usermoji-176fef0bccaba8bdf51de54ab4eed8d5d9aaac77.tar.xz | |
build: Update to header 1.4.309
Diffstat (limited to 'scripts/common_codegen.py')
| -rw-r--r-- | scripts/common_codegen.py | 9 |
1 files changed, 6 insertions, 3 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): |