Skip to content
GitLab

perf: replace grep with awk to speed up Makefile

Merged Philipp Stadler requested to merge perf/makefile-optimizations into main

Closes #15 (closed)