Makefile: Random set of improvements
A random set of improvements, triggered by the discussion with @toon in !4154 (comment 748967930) about why we remove GIT_DEFAULT_PREFIX
.
A random set of improvements, triggered by the discussion with @toon in !4154 (comment 748967930) about why we remove GIT_DEFAULT_PREFIX
.