Allow for local make.def or similar #5
Description
Suggestion: allow people to override OPTFLAGS etc. in Makefile through optional local make.def (or better name, perhaps) file, so that a pristine Makefile can always be pulled/merged.
{{ message }}
Suggestion: allow people to override OPTFLAGS etc. in Makefile through optional local make.def (or better name, perhaps) file, so that a pristine Makefile can always be pulled/merged.