Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix build failure for EXT extensions #294

Merged
merged 1 commit into from
Oct 23, 2024
Merged

Fix build failure for EXT extensions #294

merged 1 commit into from
Oct 23, 2024

Conversation

Naghasan
Copy link
Member

No description provided.

dgkoch
dgkoch approved these changes Oct 23, 2024
View reviewed changes
Copy link
Contributor

@dgkoch dgkoch left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM (verified locally).

@dgkoch dgkoch mentioned this pull request Oct 23, 2024
Closed
bashbaug
bashbaug approved these changes Oct 23, 2024
View reviewed changes
Copy link
Collaborator

@bashbaug bashbaug left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I verified locally that this fixes the EXT extension build errors, also.

@bashbaug bashbaug merged commit d33d158 into KhronosGroup:main Oct 23, 2024
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bashbaug bashbaug bashbaug approved these changes

@dgkoch dgkoch dgkoch approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Naghasan @dgkoch @bashbaug