summaryrefslogtreecommitdiff
path: root/GNUmakefile
AgeCommit message (Expand)Author
2017-04-15allow additional makefiles to be included via the new SETTINGS_MAKEFILES make.../dev/humancontroller
2017-04-15stop using profile/platform/architecture-specific build directories, just use.../dev/humancontroller
2017-04-15rename the Makefile to GNUmakefile, and reference GNUmakefile.local instead o.../dev/humancontroller