Learn more about these different git repos.
Other Git URLs
Sometimes people want to build with an alternative source tree, so --builddir lets them define this.
Committed in [e29ea1c]
Login to comment on this ticket.