Skip to content

Makefile: Random set of cleanups

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

This is a random set of cleanups for our Makefile.

Merge request reports