diff options
| author | Mike Schuchardt <mikes@lunarg.com> | 2019-10-21 21:21:35 -0700 |
|---|---|---|
| committer | Charles Giessen <46324611+charles-lunarg@users.noreply.github.com> | 2020-01-15 16:19:54 -0700 |
| commit | ab7238b2fe0647c01694921a1dd1bb23331c4721 (patch) | |
| tree | 7b8fd98e67f4988e88da4edad265096f83166647 /scripts | |
| parent | 2c436960d2c0d06a1838f8428886db369b2e4f56 (diff) | |
| download | usermoji-ab7238b2fe0647c01694921a1dd1bb23331c4721.tar.xz | |
scripts: Tweak extension detection
Use tag name instead of feature name
Change-Id: I4b14b7eb30fe53920a630f8b21a816fbf57c4488
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/vulkan_tools_helper_file_generator.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/vulkan_tools_helper_file_generator.py b/scripts/vulkan_tools_helper_file_generator.py index ca5b2405..0b0153f7 100644 --- a/scripts/vulkan_tools_helper_file_generator.py +++ b/scripts/vulkan_tools_helper_file_generator.py @@ -161,7 +161,7 @@ class HelperFileOutputGenerator(OutputGenerator): OutputGenerator.beginFeature(self, interface, emit) self.featureExtraProtect = GetFeatureProtect(interface) - if self.featureName == 'VK_VERSION_1_0' or self.featureName == 'VK_VERSION_1_1': + if interface.tag != 'extension': return name = self.featureName nameElem = interface[0][1] |