[go: up one dir, main page]
Skip to content

Speed up make

Jacob Vosmaerrequested 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