Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: UBSAN_OPTIONS should use colon-separation (#1718)
### 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? - [x] 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.
- Loading branch information