Skip to content

Use $MAKE if set, otherwise fall back to system specific make command#1036

Merged
jgabry merged 4 commits intomasterfrom
update-make-command
Nov 22, 2024
Merged

Use $MAKE if set, otherwise fall back to system specific make command#1036
jgabry merged 4 commits intomasterfrom
update-make-command

Commits

Commits on Nov 18, 2024

Commits on Nov 20, 2024