From 840e609216d74cd9d949215c09ea18428bb4778d Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Sat, 24 Apr 2021 20:13:30 +0000
Subject: build system: allow projects to specify an alternate Makefile name.

---
 configure                 | 5 +++++
 sofort/config/config.vars | 1 +
 2 files changed, 6 insertions(+)

diff --git a/configure b/configure
index 283b7c8..c1e0be5 100755
--- a/configure
+++ b/configure
@@ -837,6 +837,11 @@ config_host()
 
 config_fini()
 {
+	# rename Makefile as needed
+	if [ -n "$mb_makefile" ]; then
+		mv $mb_pwd/Makefile $mb_pwd/$mb_makefile
+	fi
+
 	# project-specific post-configuration steps
 	if [ _$mb_use_custom_cfgfini = _yes ]; then
 		. "$mb_project_dir/project/config/cfgfini.sh"
diff --git a/sofort/config/config.vars b/sofort/config/config.vars
index f3ea78e..903abd5 100644
--- a/sofort/config/config.vars
+++ b/sofort/config/config.vars
@@ -39,6 +39,7 @@ srcball_sha256
 
 
 make
+makefile
 makemode
 
 build
-- 
cgit v1.2.3