Skip to content

Makefile: Random set of improvements

Patrick Steinhardt requested to merge pks-makefile-cleanups into master

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

Merge request reports