Skip to content

Speed up make

Jacob Vosmaer requested to merge makefile-speed into master

Some changes to speed up the makefile. This will benefit make test, which is part of the release script.

Merge request reports