From ac19d3b9c2fb3299b3f32485a17b21905d6dc363 Mon Sep 17 00:00:00 2001
From: /dev/humancontroller <devhc@example.com>
Date: Sat, 15 Apr 2017 12:15:03 +0200
Subject: allow additional makefiles to be included via the new
 SETTINGS_MAKEFILES make-variable

---
 GNUmakefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'GNUmakefile')

diff --git a/GNUmakefile b/GNUmakefile
index 6f008a7..9bd8a79 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -46,6 +46,8 @@ endif
 #############################################################################
 -include GNUmakefile.local
 
+include $(SETTINGS_MAKEFILES)
+
 ifeq ($(COMPILE_PLATFORM),cygwin)
   PLATFORM=mingw32
 endif
-- 
cgit