From 176fef0bccaba8bdf51de54ab4eed8d5d9aaac77 Mon Sep 17 00:00:00 2001
From: Mike Schuchardt <mikes@lunarg.com>
Date: Fri, 21 Feb 2025 10:16:47 -0800
Subject: build: Update to header 1.4.309

---
 scripts/common_codegen.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'scripts/common_codegen.py')

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):
-- 
cgit v1.2.3