scripts: Make numbered Vulkan extension get the correct name define

Like VK_KHR_maintenanceX and friends
This commit is contained in:
Jakob Bornecrantz 2022-08-25 12:52:28 +01:00
parent fc55d623c0
commit 89fc21d64e

View file

@ -389,7 +389,13 @@ def make_ext_member_name(ext: str):
def make_ext_name_define(ext: str):
return "{}_EXTENSION_NAME".format(ext.upper()).replace("2", "_2")
str = ext.upper()
str = str.replace("1", "_1")
str = str.replace("2", "_2")
str = str.replace("3", "_3")
str = str.replace("4", "_4")
return "{}_EXTENSION_NAME".format(str)
def generate_ext_members(exts):