Learn more about these different git repos.
Other Git URLs
1a2692b
Set DESTDIR as it's used to check deps and some other items. Signed-off-by: Kevin Fenzi <kevin@scrye.com>