Merge pull request #596 from asuessenbach/requires

Downgraded check on attribute "requires" in "extension" elements to a…
This commit is contained in:
Andreas Süßenbach 2020-05-05 11:35:46 +02:00 committed by GitHub
commit 436ffbea26
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4215,7 +4215,7 @@ void VulkanHppGenerator::checkCorrectness()
}
for ( auto const & require : extension.second.requirements )
{
check( m_extensions.find( require.first ) != m_extensions.end(),
warn( m_extensions.find( require.first ) != m_extensions.end(),
require.second,
"unknown extension requires <" + require.first + ">" );
}