WIP: Draft: Resolve "Use gnumake for uniform dev build system and GitLab CI" #213

Draft
savau wants to merge 540 commits from 145-build-system-rewrite into master
Showing only changes of commit 59ccd61bb8 - Show all commits

View File

@ -417,6 +417,9 @@ log-%:
# TODO: move targets below to better location
# Some convenience aliases:
hoogle: start-hoogle
.PHONY: i18n-check
# HELP: check internationalization
i18n-check: --image-run---i18n-check