From 9cf075bc69c6018103d79eaf050e7a2276b7e6c7 Mon Sep 17 00:00:00 2001
From: /dev/humancontroller <devhc@example.com>
Date: Sat, 28 Mar 2015 08:47:49 +0100
Subject: allow additional makefiles to be included via the new
 SETTINGS_MAKEFILES variable; reference GNUmakefile.local instead of
 Makefile.local

---
 GNUmakefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'GNUmakefile')

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
-- 
cgit