From 0dbab7416e35154c81804fdf3a8bd364e0a77c18 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 +++++
1 file changed, 5 insertions(+)
(limited to 'configure')
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"
--
cgit v1.2.3