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.

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

fix: UBSAN_OPTIONS should use colon-separation #1718

Merged
merged 1 commit into from
Jan 23, 2025
Merged

Conversation

wdconinc
Copy link
Contributor

Briefly, what does this PR introduce?

This PR fixes a comma in UBSAN_OPTIONS, where options are supposed to be colon-separated.

What kind of change does this PR introduce?

  • Bug fix (issue: comma in UBSAN_OPTIONS)
  • New feature (issue #__)
  • Documentation update
  • Other: __

Please check if this PR fulfills the following:

  • Tests for the changes have been added
  • Documentation has been added / updated
  • Changes have been communicated to collaborators

Does this PR introduce breaking changes? What changes might users need to make to their code?

No.

Does this PR change default behavior?

No.

@wdconinc wdconinc requested review from a team and simonge and removed request for a team January 22, 2025 18:45
@simonge simonge added this pull request to the merge queue Jan 23, 2025
Merged via the queue into main with commit 0d3f638 Jan 23, 2025
85 of 86 checks passed
@simonge simonge deleted the ubsan-report-error-type branch January 23, 2025 10:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants