Unreviewed non-unified source builds fix 2023-07-14
Pull request: https://github.com/WebKit/WebKit/pull/15831
Committed 266055@main (4e68a149e83d): <https://commits.webkit.org/266055@main> Reviewed commits have been landed. Closing PR #15831 and removing active labels.
<rdar://problem/112244448>
Re-opening for pull request https://github.com/WebKit/WebKit/pull/15968
Committed 266198@main (c107fc39707e): <https://commits.webkit.org/266198@main> Reviewed commits have been landed. Closing PR #15968 and removing active labels.