diff options
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): |