diff options
| author | /dev/humancontroller <devhc@example.com> | 2015-03-28 08:47:49 +0100 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:45:43 +0100 |
| commit | 9cf075bc69c6018103d79eaf050e7a2276b7e6c7 (patch) | |
| tree | 61b93d6476370d236bb02168f63bf5db6da9f477 /GNUmakefile | |
| parent | bb3a26d68c48eab79bbb3bb283c11a348413238c (diff) | |
allow additional makefiles to be included via the new SETTINGS_MAKEFILES variable; reference GNUmakefile.local instead of Makefile.local
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 9ab4227a..2ae8a3c9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -44,7 +44,9 @@ endif # causing problems with keeping up to date with the repository. # ############################################################################# --include Makefile.local +-include GNUmakefile.local + +include $(SETTINGS_MAKEFILES) ifeq ($(COMPILE_PLATFORM),cygwin) PLATFORM=mingw32 |