From 7ce1896dcc08dd5fe1b9bda028de7624b9b49cd3 Mon Sep 17 00:00:00 2001 From: Eric Anholt Date: Fri, 19 Apr 2019 12:19:23 -0700 Subject: [PATCH] Make the provider enums have a PROVIDER_ prefix This will distinguish them from the exposed extension presence --- src/gen_dispatch.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gen_dispatch.py b/src/gen_dispatch.py index 28dad2b..fe4ffb4 100755 --- a/src/gen_dispatch.py +++ b/src/gen_dispatch.py @@ -50,6 +50,7 @@ class GLProvider(object): self.enum = self.enum.replace(' ', '_') self.enum = self.enum.replace('\\"', '') self.enum = self.enum.replace('.', '_') + self.enum = "PROVIDER_" + self.enum class GLFunction(object): def __init__(self, ret_type, name): @@ -676,7 +677,7 @@ class Generator(object): self.outln(' -1, /* {0}_provider_terminator, unused */'.format(self.target)) for human_name in sorted_providers: enum = self.provider_enum[human_name] - self.outln(' {1}, /* {0} */'.format(enum, self.enum_string_offset[human_name])) + self.outln(' {1}, /* {0} */'.format(human_name, self.enum_string_offset[human_name])) self.outln('};') self.outln('')