Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-04-15 | allow additional makefiles to be included via the new SETTINGS_MAKEFILES ↵ | /dev/humancontroller | |
make-variable | |||
2017-04-15 | stop using profile/platform/architecture-specific build directories, just ↵ | /dev/humancontroller | |
use "bld" (by default) | |||
2017-04-15 | rename the Makefile to GNUmakefile, and reference GNUmakefile.local instead ↵ | /dev/humancontroller | |
of Makefile.local because the Makefile uses GNU Make extensions |