Currently, running `make` from the top level of the repo switches the selected workspace. This causes unnecessary full rebuilds for internal engineers who may have other workspaces selected.
rdar://97614880
Pull request: https://github.com/WebKit/WebKit/pull/2830
Committed 252933@main (5276cca3f477): <https://commits.webkit.org/252933@main> Reviewed commits have been landed. Closing PR #2830 and removing active labels.