It's documented in `xcode-select`'s `man` page as having the same effect as `xcode-select --switch <path>`--but only within the same shell & subshells, so devs can use the Xcode 5 toolchain normally if they like. The other benefit vs. `xcode-select --switch` is that setting `DEVELOPER_DIR` doesn't require superuser privileges.