Fix accidentally removed extension
authorJames Fitzpatrick <james.fitzpatrick@imgtec.com>
Thu, 14 Apr 2022 09:46:59 +0000 (10:46 +0100)
committerMatthew Netsch <quic_mnetsch@quicinc.com>
Thu, 14 Apr 2022 19:32:20 +0000 (19:32 +0000)
commit4d67c1b1dfa71f1f15bddd835b99f1f10a801f95
tree74a91f8f52b750b343371733335e4416c3f5b297
parent9f8de06d0fcac127b0afe8e63b81441e36ad2c0e
Fix accidentally removed extension

VK_KHR_global_priority was accidentally removed from the list of allowed
extensions.

Affects:
dEQP-VK.info.device_extensions
dEQP-VK.info.device_mandatory_features

Components: vulkan

VK-GL-CTS issue: 3639

Change-Id: I3173fa11c27358ad04fb970518b53ecf0e917865
external/vulkancts/framework/vulkan/vkDeviceExtensions.inl
external/vulkancts/framework/vulkan/vkMandatoryFeatures.inl
external/vulkancts/scripts/src/extensions/VK_KHR_global_priority.json [new file with mode: 0644]